9783847337539 - implementing jml contracts with aspectj: improving instrumentation and checking of jml contracts von rebelo, henrique; massa f. lima, ricardo; l. cornélio, márcio (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: LAP Lambert Academic Publishing, 2012

      384733753X / 9783847337539

      • Softcover

      Anbieter: preigu, Osnabrück, Deutschlandpreigu

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

      Zustand: Neu

      EUR 51,10

      EUR 70,00 Versand 
      Versand von Deutschland nach USA

      Anzahl: 5 verfügbar

      Taschenbuch. Zustand: Neu. Implementing JML Contracts with AspectJ | Improving instrumentation and checking of JML contracts | Henrique Rebelo (u. a.) | Taschenbuch | Englisch | LAP Lambert Academic Publishing | EAN 9783847337539 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück,…