Real-Time Systems

Formal Specification and Automatic Verification

(

)

Author:

ISBN:

978-0-511-42921-7

Publication Date:

Sep 2008

Publisher:

Cambridge University Press

Book Format:

Ebook

List Price:

USD $195.00

Alice's Adventures in Wonderland
Carroll, Lewis
Paperback: $14.95

The Great Gatsby
Fitzgerald, F. Scott
Hardback: $20.00

The Wide Wide Sea
Sides, Hampton
Hardback: $35.00

Select your rating below then click 'submit'.