NUST Institutions Library Catalogue catalog › Details for: Real-Time Systems: Formal Specification and Automatic Verification /

Normal view MARC view ISBD view

Real-Time Systems: Formal Specification and Automatic Verification / Ernst-Rüdiger Olderog, Henning Dierks.

TextPublisher: UK: Cambridge University Press, 2008Edition: 1st EditionDescription: 320 p ; 30.7 cmISBN: 978-0521883337 DDC classification: 004.33

Tags from this library: No tags from this library for this title. Log in to add tags.

Item type	Current location	Home library	Call number	Status	Date due	Barcode	Item holds
Book	Institute of Geographical Information Systems (IGIS)	Institute of Geographical Information Systems (IGIS)	004.33 OLD (Browse shelf)	Available		IGIS-1390

Total holds: 0

Previous	No cover image available	No cover image available					No cover image available	Next
Previous	004.62TAY Demystiftinc TCP/IP	004.019 QIU Introduction to GIS Programming: A Practical Python Guide to Open Source Geospatial Tools /	004.16 CHI Mobility Data: Modeling, Management, and Understanding /	004.33 OLD Real-Time Systems: Formal Specification and Automatic Verification /	004.67 NUC Design, Measurement and Management of Large-Scale IP Networks: Bridging the Gap Between Theory and Practice /	004.7 ARE Foundations of Data Exchange /	004LEA Computing Essentials	Next

Hardcover

There are no comments on this title.

to post a comment.