6 results
Type of media (2)
Availability (3)
Year
Persons
Publishers
Sort by
Results per page
Filter
6 results

Your search for Deepak D'Souza

  1. Cover: Automated Technology for Verification and Analysis - Springer
    Deepak D'Souza | K. Narayan Kumar
    Automated Technology for Verification and Analysis
    15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings
    10/2017
    Springer
    9783319681672 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Verification, Model Checking, and Abstract Interpretation - Springer
    Deepak D'Souza | Akash Lal | Kim Guldstrand Larsen
    Verification, Model Checking, and Abstract Interpretation
    16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
    12/2014
    Springer
    9783662460818 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Verification, Model Checking, and Abstract Interpretation - Springer
    Deepak D'Souza | Akash Lal | Kim Guldstrand Larsen
    Verification, Model Checking, and Abstract Interpretation
    16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
    01/2015
    Springer
    9783662460801 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  4. Cover: Automated Technology for Verification and Analysis - Springer
    Deepak D'Souza | K. Narayan Kumar
    Automated Technology for Verification and Analysis
    15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings
    10/2017
    Springer
    9783319681665 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  5. Cover: Modern Applications Of Automata Theory - World Scientific Publishing Co Pte Ltd
    Priti Shankar | Deepak D'Souza
    Modern Applications Of Automata Theory
    07/2012
    World Scientific Publishing Co Pte Ltd
    9789814271042 (ISBN)
    Book
    Hardback
    Other editions
    €223.50
    Article not available at the moment
  6. Cover: Model checking trace-based information flow properties - LAP Lambert Academic Publishing
    Raghavendra Kagalavadi Ramesh | Deepak D'Souza | Barbara Sprick
    Model checking trace-based information flow properties
    03/2012
    LAP Lambert Academic Publishing
    9783838377803 (ISBN)
    Book
    Paperback/Softback
    €48.68
    No shipping information available