Andre platzer u a (4 resultados)

Autor

Filtrar la búsqueda

  • Libros (4)

  • Nuevo (4)

a

Intervalo de precios personalizado (EUR)

a

    • Más imágenes

      Idioma: Inglés

      Editorial: Springer, 2021

      3030798755 / 9783030798758

      • Tapa blanda

      Librería: preigu, Osnabrück, Alemaniapreigu

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Nuevo

      EUR 41,45

      Envío por EUR 70,00 
      Se envía de Alemania a Estados Unidos de America

      Cantidad disponible: 5 disponibles

      Taschenbuch. Condición: Neu. Automated Deduction - CADE 28 | 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings | André Platzer (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2021 | Springer | EAN 9783030798758 | Verantwortliche Person für die EU: Spri

    • Idioma: Inglés

      Editorial: Springer, 2024

      3031711610 / 9783031711619

      • Tapa blanda

      Librería: preigu, Osnabrück, Alemaniapreigu

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Nuevo

      EUR 41,45

      Envío por EUR 70,00 
      Se envía de Alemania a Estados Unidos de America

      Cantidad disponible: 5 disponibles

      Taschenbuch. Condición: Neu. Formal Methods | 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I | André Platzer (u. a.) | Taschenbuch | xxii | Englisch | 2024 | Springer | EAN 9783031711619 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg,

    • Más imágenes

      Condición: Nuevo

      EUR 48,65

      Envío por EUR 70,00 
      Se envía de Alemania a Estados Unidos de America

      Cantidad disponible: 5 disponibles

      Taschenbuch. Condición: Neu. Correct System Design | Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings | Roland Meyer (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2015 | Springer | EAN 9783319235059 | Verantwortli

    • Más imágenes

      Idioma: Inglés

      Editorial: Springer, 2024

      3031711769 / 9783031711763

      • Tapa blanda

      Librería: preigu, Osnabrück, Alemaniapreigu

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Nuevo

      EUR 140,10

      Envío por EUR 70,00 
      Se envía de Alemania a Estados Unidos de America

      Cantidad disponible: 5 disponibles

      Taschenbuch. Condición: Neu. Formal Methods | 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II | Andre Platzer (u. a.) | Taschenbuch | xxii | Englisch | 2024 | Springer | EAN 9783031711763 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg