Cafe : an industrial-strength algebraic formal method /
This book contains selected papers on the language, applications, and environments of CafeOBJ, which is a state-of -the-art algebraic specification language. The authors are speakers at a workshop held in 1998 to commemorate a large industrial/academic project dedicated to CafeOBJ. The project invol...
| Други автори: | Futatsugi, Kokichi., Tamai, T., Nakagawa, A. T. |
|---|---|
| Формат: | Електронна книга |
| Език: | English |
| Публикувано: |
Amsterdam ; New York :
Elsevier,
2000.
|
| Издание: | 1st ed. |
| Предмети: | |
| Онлайн достъп: |
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=211359 |
| Подобни документи: |
Print version::
Cafe. |
| Онлайн достъп от Библиотека ”Паница” на Американския университет в България: |
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=211359 |
|---|
| Провери в Paniza Library, AUBG | Сигнатура: |
QA10 .C35 2000eb |
|---|