Hans langmaack u a (5 resultados)

Autor

Filtrar la búsqueda

  • Libros (5)

  • Nuevo (5)

a

Intervalo de precios personalizado (EUR)

a

    • Idioma: Inglés

      Editorial: Springer, 1990

      3540525130 / 9783540525134

      • Tapa blanda
      • Impresión bajo demanda

      Librería: preigu, Osnabrück, Alemaniapreigu

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Nuevo

      EUR 50,25

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

      Cantidad disponible: 5 disponibles

      Taschenbuch. Condición: Neu. VDM '90. VDM and Z - Formal Methods in Software Development | Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings | Dines Bjørner (u. a.) | Taschenbuch | xx | Englisch | 1990 | Springer | EAN 9783540525134 | Verantwortliche Person für die EU: Springer Verlag GmbH, T

    • Más imágenes

      Condición: Nuevo

      EUR 95,70

      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 Techniques in Real-Time and Fault-Tolerant Systems | Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings | Hans Langmaack (u. a.) | Taschenbuch | xiv | Englisch | 1994 | Springer | EAN 9

    • Más imágenes

      Idioma: Inglés

      Editorial: Springer, 1996

      3540619291 / 9783540619291

      • Tapa blanda
      • Impresión bajo demanda

      Librería: preigu, Osnabrück, Alemaniapreigu

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Nuevo

      EUR 95,70

      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 for Industrial Applications | Specifying and Programming the Steam Boiler Control | Jean-Raymond Abrial (u. a.) | Taschenbuch | ix | Englisch | 1996 | Springer | EAN 9783540619291 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[do

    • Más imágenes

      Idioma: Inglés

      Editorial: Springer, 1998

      3540654933 / 9783540654933

      • Tapa blanda
      • Impresión bajo demanda

      Librería: preigu, Osnabrück, Alemaniapreigu

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Nuevo

      EUR 95,70

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

      Cantidad disponible: 5 disponibles

      Taschenbuch. Condición: Neu. Compositionality: The Significant Difference | International Symposium, COMPOS'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures | Willem-Paul De Roever (u. a.) | Taschenbuch | viii | Englisch | 1998 | Springer | EAN 9783540654933 | Verantwortliche Person für die EU: Springer Verlag GmbH

    • Más imágenes

      Idioma: Alemán

      Editorial: Springer, 1972

      3540060510 / 9783540060512

      • Tapa blanda
      • Impresión bajo demanda

      Librería: preigu, Osnabrück, Alemaniapreigu

      Vendedor de 5 estrellas
      Contactar con el vendedor

      Condición: Nuevo

      EUR 54,99

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

      Cantidad disponible: 5 disponibles

      Taschenbuch. Condición: Neu. 1. Fachtagung über Programmiersprachen | München, 9.-11. März 1971 | Hans Langmaack (u. a.) | Taschenbuch | Lecture Notes in Economics and Mathematical Systems | viii | Deutsch | Springer | EAN 9783540060512 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelber