Industrial used of formal method formal verification
tarafından
 
Boulanger, Jean-Louis.

Başlık
: 
Industrial used of formal method formal verification

Yazar
: 
Boulanger, Jean-Louis.

ISBN
: 
9781848213630
 
9781118561829
 
9781299187078

Yayın Bilgileri
: 
London : ISTE ; Hoboken, NJ : Wiley, ©2012.

Fiziksel Tanımlama
: 
1 online resource.

Konu Terimleri
: 
Systems engineering -- Data processing.
 
Computer simulation.
 
Formal methods (Computer science)
 
Computer software -- Verification.
 
Nondestructive testing.

Yazar Ek Girişi
: 
Boulanger, Jean-Louis.

Elektronik Erişim
: 
Wiley http://dx.doi.org/10.1002/9781118561829


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