Placeholder text
Temporal Verification of Reactive Systems: Safety
By Zohar Manna
0 - Default Title
Product details
Binding:
Paperback
Publication Date:
2014-01-17
Publisher:
Springer
Languages:
Published:
English
ISBN10:
1461242231
Weight:
744 g
Currently sold out