Deepak D'Souza - Böcker

Visar alla böcker från författaren Deepak D'Souza.

3 produkter

Kategorier

3 produkter

Automated Technology for Verification and Analysis

15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings

Av Deepak D'Souza, K. Narayan Kumar

Häftad, Engelska, 2017

709 kr

Skickas inom 10-15 vardagar

Verification, Model Checking, and Abstract Interpretation

16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings

Av Deepak D'Souza, Akash Lal m. fl

Häftad, Engelska, 2015

729 kr

Skickas inom 10-15 vardagar

Del 2

Del 2 - Iisc Research Monographs Series

Modern Applications Of Automata Theory

Av D'SOUZA DEEPAK, Priti Shankar m. fl

Inbunden, Engelska, 2012

4 259 kr

Tillfälligt slut