Cafe an industrial-strength algebraic formal method
by
 
Futatsugi, Kokichi.

Title
: 
Cafe an industrial-strength algebraic formal method

Author
: 
Futatsugi, Kokichi.

ISBN
: 
9780444505569

Edition
: 
1st ed.

Publication Information
: 
Amsterdam ; New York : Elsevier, 2000.

Physical Description
: 
1 online resource (xiv, 193 p.) : ill.

Subject Term
: 
Algebraic logic -- Congresses.
 
Formal methods (Computer science) -- Congresses.

Added Author
: 
Futatsugi, Kokichi.
 
Tamai, T. (Tetsuo)
 
Nakagawa, A. T. (Ataru T.)

Electronic Access
: 
ScienceDirect http://www.sciencedirect.com/science/book/9780444505569


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book253753-1001ONLINEElektronik Kütüphane