Delivery included to the United States

Model Checking Software

Model Checking Software 23rd International Symposium, SPIN 2016, Co-Located With ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

Paperback (13 Apr 2016)

Not available for sale

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Publisher's Synopsis

Model Checking Software

Book information

ISBN: 9783319325835
Publisher: Springer Nature B.V.
Imprint: Springer Nature B.V.
Pub date:
Language: English
Number of pages: 264
Weight: 376g
Height: 234mm
Width: 156mm