Model Checking Software 23rd International Symposium SPIN 2016 Co located with ETAPS 2016 Eindhoven The Netherlands April 7 8 2016 Proceedings 1st Edition Dragan Bošnački

Original price was: $50.00.Current price is: $25.00.

Model Checking Software 23rd International Symposium SPIN 2016 Co located with ETAPS 2016 Eindhoven The Netherlands April 7 8 2016 Proceedings 1st Edition Dragan Bošnački Digital Instant Download

Author(s): Dragan Bošnački, Anton Wijs (eds.)
ISBN(s): 9783319325811, 9783319325828, 3319325817, 3319325825
Edition: 1
File Details: PDF, 11.35 MB
Year: 2016
Language: English
SKU: EB-5484580 Category: Tags: ,