Cafe
Subtitle: an industrial-strength algebraic formal method
By: edited by K. Futatsugi, A.T. Nakagawa, T. Tamai.
Contributors: Futatsugi, Kokichi.; Tamai, T.; Nakagawa, A. T.
Edition: 1st ed.
Publisher: Elsevier
Published: 2000
Place of publication: Amsterdam; New York
Language: eng
Number of pages: 193
Subjects: Algebraic logic -- Congresses.; Formal methods (Computer science) -- Congresses.
Genres: Congresses.
Notes: Includes bibliographical references.
Selected papers from a symposium held in Numazu, April 1998.