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

Leveraging Applications of Formal Methods, Verification, and Validation

53.49 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

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 53.49 EUR

30-04-2026 12:45:04

Access to the deal

Gesponsert Leveraging Applications of Formal Methods, Verification, and Validation

SpringerLink DE

53.49 EUR 53.49 EUR

30-04-2026 14:25:19

Access to the deal

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 53.49 EUR

30-04-2026 12:25:01

Access to the deal

Leveraging Applications of Formal Methods, Verification, and Validation

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

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

Ä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: 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

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

Ähnliche Produkte

Leveraging Applications of Formal Methods Verification and Validation

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

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

Leveraging Applications of Formal Methods Verification and Validation. Modeling