Sale!

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.

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

Author(s): Shuvendu K. Lahiri, Chao Wang
ISBN(s): 9783030532901, 9783030532918, 3030532909, 3030532917
Edition: 1st ed.
File Details: PDF, 22.01 MB
Year: 2020
Language: English
SKU: EB-22501726 Category: Tags: ,

Computer Aided Verification 32nd International Conference CAV 2020 Los Angeles CA USA July 21 24 2020 Proceedings Part II Shuvendu K. Lahiri – Ebook Instant Download/Delivery ISBN(s): 9783030532901,9783030532918,3030532909,3030532917

You may also like…

Sale!
Computer Aided Verification 30th International Conference CAV 2018 Held as Part of the Federated Logic Conference FloC 2018 Oxford UK July 14 17 2018 Proceedings Part II Hana Chockler
Quick View

Computers

Computer Aided Verification 30th International Conference CAV 2018 Held as Part of the Federated Logic Conference FloC 2018 Oxford UK July 14 17 2018 Proceedings Part II Hana Chockler

Original price was: $50.00.Current price is: $25.00.
Sale!
HCI International 2020 Late Breaking Posters 22nd International Conference HCII 2020 Copenhagen Denmark July 19 24 2020 Proceedings Part II Constantine Stephanidis
Quick View

Computers

HCI International 2020 Late Breaking Posters 22nd International Conference HCII 2020 Copenhagen Denmark July 19 24 2020 Proceedings Part II Constantine Stephanidis

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!
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 28th International Conference CAV 2016 Toronto ON Canada July 17 23 2016 Proceedings Part II 1st Edition Swarat Chaudhuri
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!
HCI International 2020 Posters 22nd International Conference HCII 2020 Copenhagen Denmark July 19 24 2020 Proceedings Part I Constantine Stephanidis
Quick View

Computers

HCI International 2020 Posters 22nd International Conference HCII 2020 Copenhagen Denmark July 19 24 2020 Proceedings Part I Constantine Stephanidis

Original price was: $50.00.Current price is: $25.00.
Sale!
HCI International 2020 Posters 22nd International Conference HCII 2020 Copenhagen Denmark July 19 24 2020 Proceedings Part II Constantine Stephanidis
Quick View

Computers

HCI International 2020 Posters 22nd International Conference HCII 2020 Copenhagen Denmark July 19 24 2020 Proceedings Part II Constantine Stephanidis

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.