CafeOBJ report : The language, proof techniques and methodologies for object-oriented algebraic specification /
| Основен автор: | Diaconescu, Răzvan. |
|---|---|
| Други автори: | Futatsugi, Kokichi |
| Формат: | Книга |
| Език: | English |
| Публикувано: |
Singapore :
World scientific,
1998.
|
| Серия: |
AMAST series in computing ;
6 |
| Предмети: |
| Описание на библ. документ: |
Includes index. |
|---|---|
| Физически характеристики: |
XXI, 174 p. : ill. ; 22 cm. |
| Библиография: |
Bibliogr.: p. 115-121 |
| ISBN: |
9810235135 |