Formal methods for industrial critical systems a survey of applications
tarafından
 
Gnesi, Stefania, 1954-

Başlık
: 
Formal methods for industrial critical systems a survey of applications

Yazar
: 
Gnesi, Stefania, 1954-

ISBN
: 
9781118459898
 
9781118459867

Yayın Bilgileri
: 
Hoboken, New Jersey : John Wiley & Sons Inc., [2012]

Fiziksel Tanımlama
: 
1 online resource.

Konu Terimleri
: 
Formal methods (Computer science)
 
COMPUTERS / Computer Engineering.
 
COMPUTERS / Computer Literacy
 
COMPUTERS / Computer Science
 
COMPUTERS / Data Processing
 
COMPUTERS / Hardware / General
 
COMPUTERS / Information Technology
 
COMPUTERS / Machine Theory
 
COMPUTERS / Reference

Tür
: 
Electronic books.

Yazar Ek Girişi
: 
Gnesi, Stefania, 1954-
 
Margaria-Steffen, Tiziana, 1964-

Elektronik Erişim
: 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381798


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