Sale!

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.

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

Author(s): Isil Dillig,Jens Palsberg (eds.)
ISBN(s): 9783319737201, 9783319737218, 3319737201, 331973721X
Edition: 1
File Details: PDF, 8.31 MB
Year: 2018
Language: English
SKU: EB-6843052 Category: Tags: ,

Verification Model Checking and Abstract Interpretation 19th International Conference VMCAI 2018 Los Angeles CA USA January 7 9 2018 Proceedings 1st Edition Isil Dillig – Ebook Instant Download/Delivery ISBN(s): 9783319737201,9783319737218,3319737201,331973721X

You may also like…

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.
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 - 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 - Computer Science

Brain Informatics International Conference BI 2018 Arlington TX USA December 7 9 2018 Proceedings Shouyi Wang

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

Virtual Augmented and Mixed Reality 7th International Conference VAMR 2015 Held as Part of HCI International 2015 Los Angeles CA USA August 2 7 2015 Proceedings 1st Edition Randall Shumaker

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 II Shuvendu K. Lahiri

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