Deepak D'Souza - Böcker

Visar alla böcker från författaren Deepak D'Souza.
3 produkter
Deepak D'Souza, K. Narayan Kumar - Automated Technology for Verification and Analysis, Häftad

Automated Technology for Verification and Analysis

Av Deepak D'Souza, K. Narayan Kumar

Häftad, Engelska, 2017

709 kr

Skickas inom 10-15 vardagar
Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen - Verification, Model Checking, and Abstract Interpretation, Häftad

Verification, Model Checking, and Abstract Interpretation

Av Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen

Häftad, Engelska, 2015

729 kr

Skickas inom 10-15 vardagar
D'SOUZA DEEPAK, Priti Shankar, Deepak D'souza, India) Shankar, Priti (Indian Inst Of Science, India) D'souza, Deepak (Indian Inst Of Science, Deepak D'Souza - Modern Applications Of Automata Theory, Inbunden
Del 2 - Iisc Research Monographs Series

Modern Applications Of Automata Theory

Av D'SOUZA DEEPAK, Priti Shankar, Deepak D'souza, India) Shankar, Priti (Indian Inst Of Science, India) D'souza, Deepak (Indian Inst Of Science, Deepak D'Souza

Inbunden, Engelska, 2012

4 259 kr

Tillfälligt slut