Modeling and verification of real-time systems formalisms and software tools
tarafından
 
Merz, Stephan.

Başlık
: 
Modeling and verification of real-time systems formalisms and software tools

Yazar
: 
Merz, Stephan.

ISBN
: 
9780470611012
 
9780470393598

Yayın Bilgileri
: 
London, UK : ISTE ; Hoboken, NJ : John Wiley, 2008.

Fiziksel Tanımlama
: 
1 online resource (393 p.) : ill. (some col.)

Konu Terimleri
: 
Real-time data processing.
 
Computer software -- Verification.
 
Formal methods (Computer science)

Yazar Ek Girişi
: 
Merz, Stephan.
 
Navet, Nicolas.

Elektronik Erişim
: 
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=477643
 
John Wiley http://dx.doi.org/10.1002/9780470611012
 
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0806/2007045063-b.html


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