-
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
-
Link To Document :
