Placeholder text
Compositional Verification of Concurrent and Real-Time Systems
0 - Default Title
Product details
Binding:
Paperback
Number of Pages:
220
Release Date:
2011-09-23
Publication Date:
2011-09-23
Publisher:
Springer
Languages:
Published:
English
ISBN10:
1461510104
Weight:
316 g
Currently sold out