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!
Automated Technology for Verification and Analysis 16th International Symposium ATVA 2018 Los Angeles CA USA October 7 10 2018 Proceedings 1st edition by Shuvendu 3030010902 9783030010904
Quick View

Others

Automated Technology for Verification and Analysis 16th International Symposium ATVA 2018 Los Angeles CA USA October 7 10 2018 Proceedings 1st edition by Shuvendu 3030010902 9783030010904

Original price was: $50.00.Current price is: $25.00.
Sale!
Computer Aided Verification 32nd International Conference CAV 2020 Los Angeles CA USA July 21 24 2020 Proceedings Part II 1st Edition by Shuvendu K Lahiri, Chao Wang ISBN 9783030532901 3030532909
Quick View

Computers

Computer Aided Verification 32nd International Conference CAV 2020 Los Angeles CA USA July 21 24 2020 Proceedings Part II 1st Edition by Shuvendu K Lahiri, Chao Wang ISBN 9783030532901 3030532909

Original price was: $50.00.Current price is: $25.00.
Sale!
Brain Informatics International Conference BI 2018 Arlington TX USA December 7 9 2018 Proceedings Shouyi Wang
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!
Runtime Verification 20th International Conference RV 2020 Los Angeles CA USA October 6 9 2020 Proceedings Jyotirmoy Deshmukh
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!
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.)
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!
Computer Aided Verification 32nd International Conference CAV 2020 Los Angeles CA USA July 21 24 2020 Proceedings Part I Shuvendu K. Lahiri
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!
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
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!
Passive and Active Measurement 15th International Conference PAM 2014 Los Angeles CA USA March 10 11 2014 Proceedings 1st Edition Michalis Faloutsos
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!
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.)
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.