Javier esparza u a (6 resultados)

Taschenbuch. Condición: Neu. Automata, Languages, and Programming | 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II | Javier Esparza (u. a.) | Taschenbuch | xxx | Englisch | 2014 | Springer | EAN 9783662439500 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Taschenbuch. Condición: Neu. 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 | Javier Esparza (u. a.) | Taschenbuch | xvii | Englisch | 2017 | Springer | EAN 9783662544570 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Taschenbuch. Condición: Neu. Unfoldings | A Partial-Order Approach to Model Checking | Javier Esparza (u. a.) | Taschenbuch | Monographs in Theoretical Computer Science. An EATCS Series | xii | Englisch | 2010 | Springer | EAN 9783642096051 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Taschenbuch. Condición: Neu. 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 | Javier Esparza (u. a.) | Taschenbuch | xvi | Englisch | 2010 | Springer | EAN 9783642120015 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.…

Taschenbuch. Condición: Neu. Application and Theory of Petri Nets 2002 | 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings | Javier Esparza (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2002 | Springer | EAN 9783540437871 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu Print on Demand.…

Taschenbuch. Condición: Neu. Finite and Algorithmic Model Theory | Javier Esparza (u. a.) | Taschenbuch | Englisch | 2011 | Cambridge University Press | EAN 9780521718202 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.…