Placeholder text
Principles of the Spin Model Checker
0 - Default Title
Product details
Binding:
Paperback
Edition:
1
Number of Pages:
232
Release Date:
2008-01-08
Publication Date:
2008-01-08
Publisher:
Springer
Languages:
Published:
English,
Original:
English
ISBN10:
1846287693
GPSR Manufacturer Reference:
Weight:
1050 g
Currently sold out