Sale!

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.

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

Author(s): Shuvendu K. Lahiri, Chao Wang
ISBN(s): 9783030010898, 9783030010904, 3030010899, 3030010902
Edition: 1st ed.
File Details: PDF, 18.69 MB
Year: 2018
Language: English
SKU: EB-7320342 Category: Tags: ,

Automated Technology for Verification and Analysis 16th International Symposium ATVA 2018 Los Angeles CA USA October 7 10 2018 Proceedings Shuvendu K. Lahiri – Ebook Instant Download/Delivery ISBN(s): 9783030010898,9783030010904,3030010899,3030010902

You may also like…

Sale!
Quick View

Computers

Computer Aided Verification 32nd International Conference CAV 2020 Los Angeles CA USA July 21 24 2020 Proceedings Part II Shuvendu K. Lahiri

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

Computers

Runtime Verification 20th International Conference RV 2020 Los Angeles CA USA October 6 9 2020 Proceedings Jyotirmoy Deshmukh

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

Computers

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.
Sale!
Quick View

Computers

Mathematical and Computational Oncology Second International Symposium ISMCO 2020 San Diego CA USA October 8 10 2020 Proceedings George Bebis

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

Computers

Verification Model Checking and Abstract Interpretation 19th International Conference VMCAI 2018 Los Angeles CA USA January 7 9 2018 Proceedings 1st Edition Isil Dillig

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

Computers - Computer Science

HCI International 2015 Posters Extended Abstracts International Conference HCI International 2015 Los Angeles CA USA August 2 7 2015 Proceedings Part II 1st Edition Constantine Stephanidis (Eds.)

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

Computers

Computer Aided Verification 32nd International Conference CAV 2020 Los Angeles CA USA July 21 24 2020 Proceedings Part I Shuvendu K. Lahiri

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

Computers - Networking

Passive and Active Measurement 15th International Conference PAM 2014 Los Angeles CA USA March 10 11 2014 Proceedings 1st Edition Michalis Faloutsos

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

Computers - Computer Science

HCI International 2015 Posters Extended Abstracts International Conference HCI International 2015 Los Angeles CA USA August 2 7 2015 Proceedings Part I 1st Edition Constantine Stephanidis (Eds.)

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