Modern Formal Methods and Applications
tarafından
 
Gabbar, Hossam A. editor.

Başlık
Modern Formal Methods and Applications

Yazar
Gabbar, Hossam A. editor.

ISBN
9781402042232

Fiziksel Tanımlama
XXIII, 197 p. online resource.

Konu Terimleri
Chemistry.
 
Chemistry -- Mathematics.
 
Logic design.
 
Computer science.
 
Engineering mathematics.

Tüzel Kişi Ek Girişi
SpringerLink (Online service)

Elektronik Erişim
http://dx.doi.org/10.1007/1-4020-4223-X


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