RecordNumber
2684
Title
Cafe an industrial-strength algebraic formal method
SubTitle
an industrial-strength algebraic formal method
Author Statement
edited by K. Futatsugi, A.T. Nakagawa, T. Tamai.
Edition
1st ed
Publication
Elsevier
Publication Year
2000
Collation
xiv, 193 p. ill.
Notes
Selected papers from a symposium held in Numazu, April 1998 , Includes bibliographical references
Subject
Algebraic logic , Formal methods (Computer science)
ADDED ENTRIES
Futatsugi, Kokichi. , Tamai, T. , Nakagawa, A. T.
Main class
511
Sub class
.3
Cutter no
C116
ISBN
0444505563