Librería: preigu, Osnabrück, Alemania
EUR 50,40
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Networked Systems | 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018, Revised Selected Papers | Andreas Podelski (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxxiii | Englisch | 2019 | Springer | EAN 9783030055288 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Librería: preigu, Osnabrück, Alemania
EUR 50,40
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Verification, Model Checking, and Abstract Interpretation | 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings | Byron Cook (u. a.) | Taschenbuch | xi | Englisch | 2007 | Springer | EAN 9783540697350 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Librería: preigu, Osnabrück, Alemania
EUR 95,70
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Tools and Algorithms for the Construction and Analysis of Systems | 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings | Kurt Jensen (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2004 | Springer | EAN 9783540212997 | 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.