9783838130644 - a formal definition of jml in coq: and its application to runtime assertion checking von lehner, hermann (1 Ergebnisse)

ISBN: 
Mit der Detailsuche verfeinern

Optimieren Sie Ihre Suche

  • Bücher (1)

  • Neu (1)
Mehr dazu

bis

Benutzerdefinierte Preisspanne (EUR)

bis

    • Sprache: Englisch

      Verlag: Südwestdeutscher Verlag für Hochschulschriften, 2015

      3838130642 / 9783838130644

      • Softcover

      Anbieter: preigu, Osnabrück, Deutschlandpreigu

      Verkäufer/-in mit 5 Sternen
      Verkäufer/-in kontaktieren

      Zustand: Neu

      EUR 74,90

      EUR 70,00 Versand 
      Versand von Deutschland nach USA

      Anzahl: 5 verfügbar

      Taschenbuch. Zustand: Neu. A Formal Definition of JML in Coq | and its Application to Runtime Assertion Checking | Hermann Lehner | Taschenbuch | 236 S. | Englisch | 2015 | Südwestdeutscher Verlag für Hochschulschriften | EAN 9783838130644 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078…