Da: preigu, Osnabrück, Germania
EUR 50,25
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Da: preigu, Osnabrück, Germania
EUR 50,35
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Automated Technology for Verification and Analysis | 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings | Yu-Fang Chen (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xi | Englisch | 2019 | Springer | EAN 9783030317836 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Da: preigu, Osnabrück, Germania
EUR 50,35
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Da: preigu, Osnabrück, Germania
EUR 50,25
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Da: preigu, Osnabrück, Germania
EUR 50,35
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
EUR 95,15
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Unfoldings | A Partial-Order Approach to Model Checking | Javier Esparza (u. a.) | Taschenbuch | 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.
Da: preigu, Osnabrück, Germania
EUR 95,70
Quantità: 5 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Unfoldings | A Partial-Order Approach to Model Checking | Javier Esparza (u. a.) | Buch | xii | Englisch | 2008 | Springer | EAN 9783540774259 | 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.
Lingua: Inglese
Editore: Cambridge University Press, 2011
ISBN 10: 0521718201 ISBN 13: 9780521718202
Da: preigu, Osnabrück, Germania
EUR 97,40
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.