Name: Leveraging Applications of Formal Methods, Verification, and Validation
Brand: Springer Berlin Heidelberg
SKU: ID13106879

Leveraging Applications of Formal Methods, Verification, and Validation

53.49 EUR 9% Off 59.00 EUR

Ein praxisorientiertes Buch, das die Anwendung formaler Methoden in Softwareverifikation und Validierung anhand von Fallstudien aus internationalen Workshops demonstriert und dabei neue Techniken für Sicherheit und Zuverlässigkeit vorstellt.

Marke: Springer Berlin Heidelberg

ISBN: 3642347800

MPN: 94 black & white illustrations

Angebote
Merkmale

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

-9%

Gesponsert Leveraging Applications of Formal Methods, Verification, and Validation, Fachbücher von Bernhard Steffen, Tiziana Margaria, Jens Knoop, Reiner Hähnle, Dietmar Schreiner

Galaxus.de

53.49 EUR 59.00 EUR

03-08-2026 08:59:21

Access to the deal

-9%

Gesponsert Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ... in Computer and Information Science)

Medimops DE

53.49 EUR 59.00 EUR

07-09-2026 06:08:21

Access to the deal

Gesponsert Leveraging Applications of Formal Methods, Verification, and Validation

SpringerLink DE

59.00 EUR 59.00 EUR

07-09-2026 11:20:24

Access to the deal

Leveraging Applications of Formal Methods, Verification, and Validation

Gesponsert Leveraging Applications of Formal Methods, Verification, and Validation, Fachbücher von Bernhard Steffen, Tiziana Margaria, Jens Knoop, Reiner Hähnle, Dietmar Schreiner

Gesponsert Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ... in Computer and Information Science)

Gesponsert Leveraging Applications of Formal Methods, Verification, and Validation

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Leveraging Applications of Formal Methods, Verification, and Validation

Gesponsert Leveraging Applications of Formal Methods, Verification, and Validation, Fachbücher von Bernhard Steffen, Tiziana Margaria, Jens Knoop, Reiner Hähnle, Dietmar Schreiner

Gesponsert Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ... in Computer and Information Science)

Gesponsert Leveraging Applications of Formal Methods, Verification, and Validation

Ähnliche Produkte

Leveraging Applications of Formal Methods Verification and Validation

Leveraging Applications of Formal Methods Verification and Validation. Verification

Leveraging Applications of Formal Methods Verification and Validation. Distributed Systems

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