Cafe an industrial-strength algebraic formal method
tarafından
 
Futatsugi, Kokichi.

Başlık
: 
Cafe an industrial-strength algebraic formal method

Yazar
: 
Futatsugi, Kokichi.

ISBN
: 
9780444505569

Basım Bilgisi
: 
1st ed.

Yayın Bilgileri
: 
Amsterdam ; New York : Elsevier, 2000.

Fiziksel Tanımlama
: 
1 online resource (xiv, 193 p.) : ill.

Konu Terimleri
: 
Algebraic logic -- Congresses.
 
Formal methods (Computer science) -- Congresses.

Yazar Ek Girişi
: 
Futatsugi, Kokichi.
 
Tamai, T. (Tetsuo)
 
Nakagawa, A. T. (Ataru T.)

Elektronik Erişim
: 
ScienceDirect http://www.sciencedirect.com/science/book/9780444505569


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Çevrimiçi KütüphaneE-Kitap253753-1001ONLINEElektronik Kütüphane