Shuvendu K. Lahiri - Böcker
Visar alla böcker från författaren Shuvendu K. Lahiri.
3 produkter
3 produkter
Del 11138 - Lecture Notes in Computer Science
Automated Technology for Verification and Analysis
16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
Häftad, Engelska, 2018
709 kr
Skickas inom 10-15 vardagar
Del 12224 - Lecture Notes in Computer Science
Computer Aided Verification
32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
Häftad, Engelska, 2020
569 kr
Skickas inom 10-15 vardagar
Del 12225 - Lecture Notes in Computer Science
Computer Aided Verification
32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
Häftad, Engelska, 2020
569 kr
Skickas inom 10-15 vardagar