D'souza, Deepak books & textbook
Marijuana and Madness
Cambridge University Press /2023-06-01 Paperback / 378 Pages
isbn-10: 1009305433 / isbn-13: 9781009305433
Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings (Programming and Software Engineering)
D'Souza, Deepak Narayan Kumar, K.
Springer /2017-10-04 Paperback / 501 Pages
isbn-10: 3319681664 / isbn-13: 9783319681665
Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings (Theoretical Computer Science and General Issues)
D'Souza, Deepak Lal, Akash Larsen, Kim Guldstrand
Springer /2015-01-07 Paperback / 486 Pages
isbn-10: 3662460807 / isbn-13: 9783662460801
Marijuana and Madness
Castle, David Murray, Robin M. D'Souza, Deepak Cyril
Cambridge University Press /2011-12-30 Hardcover / 252 Pages
isbn-10: 1107000211 / isbn-13: 9781107000216
Modern Applications Of Automata Theory
Shankar, Priti D'souza, Deepak
Wspc/Iis /2012-05-24 Paperback / 672 Pages
Model checking trace-based information flow properties: For finite state systems and pushdown systems
Kagalavadi Ramesh, Raghavendra D'Souza, Deepak Sprick, Barbara
LAP LAMBERT Academic Publishing /2012-03-14 Paperback / 64 Pages
isbn-10: 383837780X / isbn-13: 9783838377803
