Hoppa till sidans huvudinnehåll

Deepak D'Souza – författare

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

Automated Technology for Verification and Analysis

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

AvDeepak D'Souza,K. Narayan Kumar

Häftad, Engelska, 2017

729 kr

Skickas inom 10-15 vardagar

Verification, Model Checking, and Abstract Interpretation

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

AvDeepak D'Souza,Akash Lalm. fl.

Häftad, Engelska, 2015

729 kr

Skickas inom 10-15 vardagar

Del 2 - Iisc Research Monographs Series

Modern Applications Of Automata Theory

AvD'SOUZA DEEPAK,Priti Shankarm. fl.

Inbunden, Engelska, 2012

3 779 kr

Tillfälligt slut