Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

Menge:

Stück

Produktinformationen

Artikel-Nr.:
858A-9783319471655

Hersteller:
Springer Verlag

Herst.-Nr.:
9783319471655

EAN/GTIN:
9783319471655

Suchbegriffe:

7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I

Weitere Informationen:


Author:	Tiziana Margaria; Bernhard Steffen
Verlag:	Springer International Publishing
Sprache:	eng

Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, EDV / Theorie / Software-Entw. / Software Engineering, adaptive systems, compilers, formal methods, formal verification, model checking, model-driven engineering, modeling, privacy, programming languages, railways

Die Konditionen im Überblick¹

Lieferzeit

Lagerstand

Preis

€ 99,99*