CafeOBJ report : the language, proof techniques and methodologies for object-oriented algebraic specification
by Răzvan Diaconescu, Kokichi Futatsugi
Bok Engelsk 1998
| Utgitt | Singapore : World Scientific , c1998
|
|---|---|
| Omfang | XXI, 174 s.
|
| Emner | Algebraisk spesifikasjon
Spesifikasjonsspråk algebraisk programmering spesifikasjonsspråk omskrivingslogikk |
| ISBN | 9810235135
|
