Shuvendu K. Lahiri - Böcker

Visar alla böcker från författaren Shuvendu K. Lahiri.
3 produkter
Shuvendu K. Lahiri, Chao Wang - Automated Technology for Verification and Analysis, Häftad

Automated Technology for Verification and Analysis

Av Shuvendu K. Lahiri, Chao Wang

Häftad, Engelska, 2018

739 kr

Skickas inom 7-10 vardagar
Shuvendu K. Lahiri, Chao Wang - Computer Aided Verification, Häftad

Computer Aided Verification

Av Shuvendu K. Lahiri, Chao Wang

Häftad, Engelska, 2020

589 kr

Skickas inom 7-10 vardagar
Shuvendu K. Lahiri, Chao Wang - Computer Aided Verification, Häftad

Computer Aided Verification

Av Shuvendu K. Lahiri, Chao Wang

Häftad, Engelska, 2020

589 kr

Skickas inom 7-10 vardagar