Deepak D'Souza - Böcker
Visar alla böcker från författaren Deepak D'Souza.
3 produkter
3 produkter
Automated Technology for Verification and Analysis
15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings
Häftad, Engelska, 2017
689 kr
Skickas inom 10-15 vardagar
Verification, Model Checking, and Abstract Interpretation
16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
Häftad, Engelska, 2015
709 kr
Skickas inom 10-15 vardagar
Del 2 - Iisc Research Monographs Series
Modern Applications Of Automata Theory
Inbunden, Engelska, 2012
4 259 kr
Tillfälligt slut