Deepak D'Souza – författare
Visar alla böcker från författaren Deepak D'Souza. Handla med fri frakt och snabb leverans.
5 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, 2017
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017. The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 …
Automated Technology for Verification and Analysis
15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings
Av K. Narayan Kumar, Deepak D'Souza
E-bok, 2017
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 15 th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017. The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 …
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, 2015
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2015. The 24 revised full papers presented were carefully reviewed and selected from 53 submissions. The …
Verification, Model Checking, and Abstract Interpretation
16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
Av Kim Guldstrand Larsen, Akash Lal m. fl.
E-bok, 2014
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015, held in Mumbai, India, in January 2015. The 24 revised full papers presented were carefully reviewed and selected from 53 submissions. The …
MODERN APPLICATIONS OF AUTOMATA THEORY
Av D'SOUZA DEEPAK, Deepak D'Souza m. fl.
Inbunden, 2012
4029 kr
Tillfälligt slut
Automata theory has come into prominence in recent years with a plethora of applications in fields ranging from verification to XML processing and file compression. In fact, the 2007 Turing Award was awarded to Clarke, Emerson and Sifakis for their pioneering work on model-checking techniques. To …
