Modeling and verification of real-time systems formalisms and software tools
by
 
Merz, Stephan.

Title
: 
Modeling and verification of real-time systems formalisms and software tools

Author
: 
Merz, Stephan.

ISBN
: 
9780470611012
 
9780470393598

Publication Information
: 
London, UK : ISTE ; Hoboken, NJ : John Wiley, 2008.

Physical Description
: 
1 online resource (393 p.) : ill. (some col.)

Subject Term
: 
Real-time data processing.
 
Computer software -- Verification.
 
Formal methods (Computer science)

Added Author
: 
Merz, Stephan.
 
Navet, Nicolas.

Electronic Access
: 
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


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book297545-1001ONLINEElektronik Kütüphane