Placeholder text
Principles of the Spin Model Checker
- Default Title
Product details
Binding:
Paperback
Number of Pages:
236
Release Date:
2008-09-15
Publication Date:
2008-09-15
Publisher:
Springer
Languages:
Published:
English,
Original:
English
ISBN10:
1848009526
Weight:
338 g
Currently sold out