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.).
Series: 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| 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
There are no comments on this title.