K. Futatsugi-A.T. Nakagawa-T. Tamai
CAFE: An Industrial-Strength Algebraic Formal Method
- 1st ed
- Elsevier Science 2000
9780080528403
Algebraic logic--Congresses.,Formal methods (Computer science)--Congresses.
COMPUTERS / Languages / General
QA10 .C35 2000eb
511.3