RealTime Systems Formal Specification and Automatic Verification
£75.99
Includes FREE deliveryRRP £79.99 – you save £4.00 (5%)
Order before 4pm today for delivery by Tue 7 Jul 2026.
A Hardback by Ernst-Rudiger Olderog, Henning Dierks
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
Publisher: Cambridge University Press
Publication Date: 11/09/2008
ISBN13: 9780521883337, 978-0521883337
ISBN10:
Also in:
Embedded systems
Embedded systems