Sale!

Automated Technology for Verification and Analysis 14th International Symposium ATVA 2016 Chiba Japan October 17 20 2016 Proceedings 1st Edition Cyrille Artho

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

Automated Technology for Verification and Analysis 14th International Symposium ATVA 2016 Chiba Japan October 17 20 2016 Proceedings 1st Edition Cyrille Artho Digital Instant Download

Author(s): Cyrille Artho, Axel Legay, Doron Peled (eds.)
ISBN(s): 9783319465197, 9783319465203, 3319465198, 3319465201
Edition: 1
File Details: PDF, 12.70 MB
Year: 2016
Language: English
SKU: EB-5607934 Category: Tags: , ,

Automated Technology for Verification and Analysis 14th International Symposium ATVA 2016 Chiba Japan October 17 20 2016 Proceedings 1st Edition Cyrille Artho – Ebook Instant Download/Delivery ISBN(s): 9783319465197,9783319465203,3319465198,3319465201

You may also like…

Sale!
Quick View

Uncategorized

Automated Technology for Verification and Analysis 16th International Symposium ATVA 2018 Los Angeles CA USA October 7 10 2018 Proceedings Shuvendu K. Lahiri

Original price was: $50.00.Current price is: $25.00.
Sale!
Quick View

Computers

Formal Techniques for Safety Critical Systems 5th International Workshop FTSCS 2016 Tokyo Japan November 14 2016 Revised Selected Papers 1st Edition Cyrille Artho

Original price was: $50.00.Current price is: $25.00.
Sale!
Quick View

Computers

Computer Aided Verification 28th International Conference CAV 2016 Toronto ON Canada July 17 23 2016 Proceedings Part II 1st Edition Swarat Chaudhuri

Original price was: $50.00.Current price is: $25.00.
Sale!
Quick View

Computers

Knowledge and Systems Sciences 17th International Symposium KSS 2016 Kobe Japan November 4 6 2016 Proceedings 1st Edition Jian Chen

Original price was: $50.00.Current price is: $25.00.
Sale!
Quick View

Computers

Hardware and Software Verification and Testing 12th International Haifa Verification Conference HVC 2016 Haifa Israel November 14 17 2016 Proceedings 1st Edition Roderick Bloem

Original price was: $50.00.Current price is: $25.00.
Sale!
Quick View

Computers

Computer and Information Sciences 31st International Symposium ISCIS 2016 Kraków Poland October 27 28 2016 Proceedings 1st Edition Tadeusz Czachórski

Original price was: $50.00.Current price is: $25.00.
Sale!
Quick View

Computers

String Processing and Information Retrieval 23rd International Symposium SPIRE 2016 Beppu Japan October 18 20 2016 Proceedings 1st Edition Shunsuke Inenaga

Original price was: $50.00.Current price is: $25.00.
Sale!
Quick View

Computers

Leveraging Applications of Formal Methods Verification and Validation Discussion Dissemination Applications 7th International Symposium ISoLA 2016 Imperial Corfu Greece October 10 14 2016 Proceedings Part II 1st Edition Tiziana Margaria

Original price was: $50.00.Current price is: $25.00.
Sale!
Quick View

Computers

Collaboration and Technology 22nd International Conference CRIWG 2016 Kanazawa Japan September 14 16 2016 Proceedings 1st Edition Takaya Yuizono

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