Placeholder text
Real-Time Systems: Formal Specification and Automatic Verification
0 - Default Title
Product details
Edition:
1
Number of Pages:
338
Release Date:
2008-09-11
Publication Date:
2008-09-11
Publisher:
Cambridge University Press
Languages:
Published:
English,
Original:
English
ISBN10:
0521883334
ISBN13:
9780521883337
GPSR Manufacturer Reference:
Weight:
816 g
Currently sold out