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 |
| Предмети: |
| Провери в ИЯИЯЕ | Сигнатура: |
|---|