Bokus

Deepak D'Souza

Visar alla böcker från författaren Deepak D'Souza. Handla med fri frakt och snabb leverans.

  1. Automated Technology for Verification and Analysis

    Automated Technology for Verification and Analysis

    2017

  2. Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abstract Interpretation

    2015

  3. MODERN APPLICATIONS OF AUTOMATA THEORY

    MODERN APPLICATIONS OF AUTOMATA THEORY

    2012