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.)
Electronic Access:
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=477643John Wiley http://dx.doi.org/10.1002/9780470611012
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0806/2007045063-b.html
Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 297545-1001 | ONLINE | Searching... | Searching... |