Hoppa till sidans huvudinnehåll

Javier Esparza – författare

Visar alla böcker från författaren Javier Esparza.
10 produkter
Jorg Desel, Javier Esparza, C. J. van Rijsbergen - Free Choice Petri Nets, Häftad
Del 40 - Cambridge Tracts in Theoretical Computer Science

Free Choice Petri Nets

AvJorg Desel,Javier Esparzam. fl.

Häftad, Engelska, 2005

739 kr

Skickas inom 7-10 vardagar

Javier Esparza, Christian Michaux, Charles Steinhorn - Finite and Algorithmic Model Theory, Häftad
Del 379 - London Mathematical Society Lecture Note Series

Finite and Algorithmic Model Theory

AvJavier Esparza,Christian Michauxm. fl.

Häftad, Engelska, 2011

1 119 kr

Skickas inom 7-10 vardagar

Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza - Automated Technology for Verification and Analysis, Häftad
Del 11781 - Lecture Notes in Computer Science

Automated Technology for Verification and Analysis

17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

AvYu-Fang Chen,Chih-Hong Chengm. fl.

Häftad, Engelska, 2019

729 kr

Skickas inom 10-15 vardagar

Javier Esparza, Charles Lakos - Application and Theory of Petri Nets 2002, Häftad

Application and Theory of Petri Nets 2002

23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings

AvJavier Esparza,Charles Lakos

Häftad, Engelska, 2002

709 kr

Skickas inom 10-15 vardagar

Javier Esparza, Keijo Heljanko - Unfoldings, Inbunden

Unfoldings

A Partial-Order Approach to Model Checking

AvJavier Esparza,Keijo Heljanko

Inbunden, Engelska, 2008

1 449 kr

Skickas inom 10-15 vardagar

Javier Esparza, Keijo Heljanko - Unfoldings, Häftad

Unfoldings

A Partial-Order Approach to Model Checking

AvJavier Esparza,Keijo Heljanko

Häftad, Engelska, 2010

1 449 kr

Skickas inom 10-15 vardagar

Javier Esparza, Rupak Majumdar - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

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

AvJavier Esparza,Rupak Majumdar

Häftad, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar

Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias - Automata, Languages, and Programming, Häftad

Automata, Languages, and Programming

41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I

AvJavier Esparza,Pierre Fraigniaudm. fl.

Häftad, Engelska, 2014

729 kr

Skickas inom 10-15 vardagar

Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias - Automata, Languages, and Programming, Häftad

Automata, Languages, and Programming

41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II

AvJavier Esparza,Pierre Fraigniaudm. fl.

Häftad, Engelska, 2014

729 kr

Skickas inom 10-15 vardagar

Javier Esparza, Andrzej S. Murawski - Foundations of Software Science and Computation Structures, Häftad

Foundations of Software Science and Computation Structures

20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

AvJavier Esparza,Andrzej S. Murawski

Häftad, Engelska, 2017

729 kr

Skickas inom 10-15 vardagar