Publisher's Synopsis
Model Checking Software
Paperback (25 Jul 2012)
Not available for sale
Out of stock
Model Checking Software
ISBN: | 9783642317606 |
Publisher: | Springer Nature B.V. |
Imprint: | Springer Nature B.V. |
Pub date: | 25 Jul 2012 |
Language: | English |
Number of pages: | 272 |
Weight: | 386g |
Height: | 234mm |
Width: | 156mm |