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
|