Shuvendu K. Lahiri - Böcker

Visar alla böcker från författaren Shuvendu K. Lahiri.

3 produkter

Kategorier

3 produkter

Automated Technology for Verification and Analysis

16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

Av Shuvendu K. Lahiri, Chao Wang

Häftad, Engelska, 2018

739 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

Av Shuvendu K. Lahiri, Chao Wang

Häftad, Engelska, 2020

589 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

Av Shuvendu K. Lahiri, Chao Wang

Häftad, Engelska, 2020

589 kr

Skickas inom 10-15 vardagar