Real-Time Systems Formal Specification and Automatic Verification
by
 
Olderog, Ernst-Rüdiger.

Title
: 
Real-Time Systems Formal Specification and Automatic Verification

Author
: 
Olderog, Ernst-Rüdiger.

ISBN
: 
9780511619953
 
9780521883337

Publication Information
: 
Cambridge : Cambridge University Press, 2008

Physical Description
: 
1 online resource (344 p.) : digital, PDF file(s).

General Note
: 
Title from publishers bibliographic system (viewed on 06 Sep 2013).

Subject Term
: 
Real-time data processing.

Added Author
: 
Olderog, Ernst-Rüdiger.
 
Dierks, Henning.

Electronic Access
: 
Access by subscription


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book236145-1001ONLINEElektronik Kütüphane