Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

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

enthalten in Lecture Notes in Computer Science-Reihe

enthalten in Theoretical Computer Science and General Issues-Reihe

Buch, Taschenbuch
Versandfertig in 1-2 Wochen
50,00 €

Über Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

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.

Sprache:
Englisch

ISBN:
9783662452301

Verlag:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Einband:
Taschenbuch

Seitenzahl:
644

Veröffentlicht:
23. September 2014

Ausgabe:
2014

Abmessungen:
235x155x34 mm.

Gewicht:
9883 g.

50,00 € inkl. MwSt.
~~53,49 €~~ UVP

Versandkostenfrei

Versandfertig in 1-2 Wochen.

Beschreibung von Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

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. Specialized Techniques and Applications

Andere kauften auch ...

Ähnliche Bücher finden

Das Buch Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications ist in den folgenden Kategorien erhältlich:

Wirtschaft & Schule > Computer & IT

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

Beschreibung von Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

Kund*innenbewertungen von Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

Willkommen bei den Tales Buchfreunden und -freundinnen