Model Checking Software : 23rd International Symposium, Spin 2016, Co-Located with Etaps 2016, Eindhoven, the Netherlands, April 7-8, 2016, Proceedings

Name: Model Checking Software : 23rd International Symposium, Spin 2016, Co-Located with Etaps 2016, Eindhoven, the Netherlands, April 7-8, 2016, Proceedings
ISBN: 9783319325811

by Bo Na Ki, Dragan, Wijs, Anton

Model Checking Software : 23rd International Symposium, Spin 2016, Co-Located with Etaps 2016, Eindhoven, the Netherlands, April 7-8, 2016, Proceedings

by Bo Na Ki, Dragan, Wijs, Anton

Marketplace Prices
New from $51.31

New
$51.31

List Price

~~$72.00~~

Discount

28% Off

You Save

$20.69

Recommended

Item Details
Condition: New
Provider: LightningBooks Contact
Provider Rating:

85%
Ships From: Multiple Locations
Shipping: Standard, Expedited (tracking available)
Comments: Fast shipping! All orders include delivery confirmation.

ISBN-13: 9783319325811
ISBN: 3319325817
Publication Date: 2016
Publisher: Springer

AUTHOR

Bo Na Ki, Dragan, Wijs, Anton

SUMMARY

Bo Na Ki, Dragan is the author of 'Model Checking Software : 23rd International Symposium, Spin 2016, Co-Located with Etaps 2016, Eindhoven, the Netherlands, April 7-8, 2016, Proceedings', published 2016 under ISBN 9783319325811 and ISBN 3319325817.

[read more]