Placeholder text
Symbolic Model Checking
0 - Default Title
Product details
Binding:
Paperback
Edition:
1
Number of Pages:
216
Release Date:
2012-10-23
Publication Date:
2012-10-23
Publisher:
Springer
Languages:
Published:
English,
Original:
English
ISBN10:
1461363993
GPSR Manufacturer Reference:
Weight:
318 g
Currently sold out