Bokus

Javier Esparza

Visar alla böcker från författaren Javier Esparza. Handla med fri frakt och snabb leverans.

  1. Automated Technology for Verification and Analysis

    Automated Technology for Verification and Analysis

    2019

  2. Application and Theory of Petri Nets 2002

    Application and Theory of Petri Nets 2002

    2002

  3. Unfoldings

    Unfoldings

    2008

  4. Automata, Languages, and Programming

    Automata, Languages, and Programming

    2014

  5. Free Choice Petri Nets

    Free Choice Petri Nets

    2005

  6. Finite and Algorithmic Model Theory

    Finite and Algorithmic Model Theory

    2011

  7. Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    2010

  8. Unfoldings

    Unfoldings

    2008

  9. Foundations of Software Science and Computation Structures

    Foundations of Software Science and Computation Structures

    2017