Cafe : an industrial-strength algebraic formal method /

This book contains selected papers on the language, applications, and environments of CafeOBJ, which is a state-of -the-art algebraic specification language. The authors are speakers at a workshop held in 1998 to commemorate a large industrial/academic project dedicated to CafeOBJ. The project invol...

Full description

Bibliographic Details

Other Authors:	Futatsugi, Kokichi, Tamai, T. (Tetsuo), Nakagawa, A. T. (Ataru T.)
Format:	eBook
Language:	English
Published:	Amsterdam ; New York : Elsevier, 2000.
Edition:	1st ed.
Subjects:	Algebraic logic > Congresses. Formal methods (Computer science) > Congresses. Logique algébrique > Congrès. Méthodes formelles (Informatique) > Congrès. Electronic books.
Online Access:	Connect to the full text of this electronic book Table of contents only Publisher description