NUST Institutions Library Catalogue catalog › Details for: Formal methods for the design of real-time systems :

Normal view MARC view ISBD view

Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 : revised lectures / Marco Bernardo, Flavio Corradini (eds.).

Contributor(s): Bernardo, Marco | Corradini, FlavioSeries: Lecture notes in computer science: ; Lecture notes in computer science: Publisher: Berlin ; New York : Springer, c2004Description: vi, 293 p. : ill. ; 24 cmISBN: 3540230688 (softcover : alk. paper)Other title: SRM-RT 2004Subject(s): Computer software | Computer systems | Formal methods (Computer science) EBOOK | Real-time data processingDDC classification: 004.33 Online resources: Publisher description

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

Item type	Current location	Home library	Collection	Call number	URL	Status	Date due	Barcode	Item holds
Book	Military College of Signals (MCS)	Military College of Signals (MCS)	NFIC	004.33 BER (Browse shelf)	Link to resource	Available		MCSBE 835

Total holds: 0

Previous			No cover image available					Next
Previous	004.22 WIL Introduction to Computer architecture /	004.24 EAG The IDA pro book : the unofficial guide to the world's most popular disassembler (EBOOK)	004.25 MAR XML and Java: Developing Web Applications-(EBOOK)	004.33 BER Formal methods for the design of real-time systems :	004.33 DOU Real-Time Design Patterns :robust scalable architecture for Real-time systems -(E-BOOK)	004.33 LAP Real-time systems design and analysis (E-Book)	004.35 PAR Introduction to parallel processing(E BOOK)	Next

There are no comments on this title.

to post a comment.