For Publishers
All
Subject
Title
Author
Publisher
Series Title
All
Subject
Title
Author
Publisher
Series Title
Page Top
Real-time Systems
Formal Specification and Automatic Verification
Real-time Systems
(
)
Author:
Olderog, E. R.
Dierks, Henning
ISBN:
978-0-511-42997-2
Publication Date:
Jan 2008
Publisher:
Cambridge University Press
Book Format:
Ebook
List Price:
USD $80.00
Buy Now
Book Details
Detailed Subjects:
Computers / Data Science / General
Featured Books
Children of Blood and Bone
Adeyemi, Tomi
Paperback:
$14.99
Meditations
Aurelius Marcus
Hardback:
$72.00
The Great Gatsby
Fitzgerald, F. Scott
Paperback:
$12.99
View more Featured Books
Rate this title:
Select your rating below then click 'submit'.
Rating value is required.
I do not wish to rate this title.