Modeling and verification of real-time systems : formalisms and software tools / edited by Stephan Merz, Nicolas Navet.

Saved in:

Bibliographic Details
Other Authors:	Navet, Nicolas, Merz, Stephan
Format:	Book
Language:	English
Published:	London : Hoboken, NJ : ISTE ; John Wiley, 2008.
Subjects:	Real-time data processing. Computer software > Verification. Formal methods (Computer science)

PASCAL Offsite

Holdings details from PASCAL Offsite
Call Number:	QA76.54 .M635 2008
QA76.54 .M635 2008	Available Place a Hold