RealTime Systems Formal Specification and Automatic Verification
A Hardback by Ernst-Rudiger Olderog, Henning Dierks
£79.99
Includes FREE deliveryOrder before 4pm today for delivery by Tue 1 Sep 2026.
Trusted by thousands of customers. See 2,385+ Customer Reviews
View other formats and editions of RealTime Systems Formal Specification and Automatic Verification by Ernst-Rudiger Olderog
Book details
Publisher
Cambridge University Press
Published
11 September 2008
ISBN-13
9780521883337
978-0521883337
978-0521883337
Also in:
Embedded systems
Embedded systems