Real Time Systems Formal Specification and Automatic Verification 1st Edition Ernst-Rudiger Olderog

Original price was: $50.00.Current price is: $35.00.

Real Time Systems Formal Specification and Automatic Verification 1st Edition Ernst-Rudiger Olderog Digital Instant Download

Author(s): Ernst-Rudiger Olderog, Henning Dierks
ISBN(s): 9780521883337, 0521883334
Edition: 1
File Details: PDF, 12.36 MB
Year: 2008
Language: english