Name: Verified Software: Theorie, Tools, Experiments
Brand: Ernie Cohen
SKU: ID12767013
Availability: InStock

Verified Software: Theorie, Tools, Experiments

52.94 EUR 1% Off 53.49 EUR

Ein Band aus der fünften VSTTE-Konferenz präsentiert aktuelle Forschung zu formalen Methoden, Analysewerkzeugen und experimentellen Validierungen in der Softwareverifikation und zeigt praxisnahe Anwendungen für sichere Systeme.

Marke: Ernie Cohen

MPN: 83 black & white illustrations, biograph

ISBN: 9783642541070

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

-1%

Gesponsert Verified Software: Theorie, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers (Lecture Notes in Computer Science)

Medimops DE

52.94 EUR 53.49 EUR

17-05-2026 09:47:21

Access to the deal

Gesponsert Verified Software: Theorie, Tools, Experiments

SpringerLink DE

53.49 EUR 53.49 EUR

17-05-2026 07:41:30

Access to the deal

Gesponsert Verified Software: Theorie, Tools, Experiments, Fachbücher von Andrey Rybalchenko, Ernie Cohen

Galaxus.de

53.49 EUR 53.49 EUR

17-05-2026 10:59:23

Access to the deal

Verified Software: Theorie, Tools, Experiments

Gesponsert Verified Software: Theorie, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers (Lecture Notes in Computer Science)

Gesponsert Verified Software: Theorie, Tools, Experiments

Gesponsert Verified Software: Theorie, Tools, Experiments, Fachbücher von Andrey Rybalchenko, Ernie Cohen

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Verified Software: Theorie, Tools, Experiments

Gesponsert Verified Software: Theorie, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers (Lecture Notes in Computer Science)

Gesponsert Verified Software: Theorie, Tools, Experiments

Gesponsert Verified Software: Theorie, Tools, Experiments, Fachbücher von Andrey Rybalchenko, Ernie Cohen

Ähnliche Produkte

Verified Software. Theories, Tools and Experiments

Verified Software. Theories Tools and Experiments

Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

Verified Software. Theories Tools and Experiments