Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

- 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

Über Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9783662452332
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 547
  • Veröffentlicht:
  • 23. September 2014
  • Ausgabe:
  • 2014
  • Abmessungen:
  • 235x155x29 mm.
  • Gewicht:
  • 8482 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.

Beschreibung von Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014.

Kund*innenbewertungen von Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change



Ähnliche Bücher finden
Das Buch Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.