Releases by Javier Esparza

All8
Hardcover Book2
Paperback Book6

In stock at iMusic Show unavailable items

Cover for Javier Esparza · Automata Theory: An Algorithmic Approach (Hardcover Book) (2023)

Automata Theory: An Algorithmic ... (2023)

Cover for Javier Esparza · Automata, Languages, and Programming: 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I - Lecture Notes in Computer Science (Paperback Book) [2014 edition] (2014)

Automata, Languages, and Program... (2014)

Cover for Javier Esparza · Automata, Languages, and Programming: 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II - Lecture Notes in Computer Science (Paperback Book) [2014 edition] (2014)

Automata, Languages, and Program... (2014)

Cover for Javier Esparza · Finite and Algorithmic Model Theory - London Mathematical Society Lecture Note Series (Paperback Book) (2011)

Finite and Algorithmic Model The... (2011)

Cover for Javier Esparza · Unfoldings: A Partial-Order Approach to Model Checking - Monographs in Theoretical Computer Science. An EATCS Series (Paperback Book) [Softcover reprint of hardcover 1st ed. 2008 edition] (2010)

Softcover reprint of hardcover 1st ed. 2008 edition

Unfoldings: A Partial-Order Appr... (2010)

Cover for Javier Esparza · Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings - Th (Paperback Book) (2010)

Tools and Algorithms for the Con... (2010)

Cover for Javier Esparza · Unfoldings: A Partial-Order Approach to Model Checking - Monographs in Theoretical Computer Science. An EATCS Series (Hardcover Book) [2008 edition] (2008)

Unfoldings: A Partial-Order Appr... (2008)

Cover for Javier Esparza · Application and Theory of Petri Nets 2002: 23rd International Conference, Icatpn 2002, Adelaide, Australia, June 24-30, 2002 - Proceedings - Lecture Notes in Computer Science (Paperback Book) (2002)

Application and Theory of Petri ... (2002)