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

Leveraging Applications of Formal Methods Verification and Validation

49.98 EUR 7% Off 53.49 EUR

Ein Fachband aus dem fünften ISoLA‑Symposium in Heraklion präsentiert praxisnahe Anwendungen formaler Methoden für Verifikation und Validierung; enthält theoretische Modelle, Fallstudien und aktuelle Forschungsergebnisse zur Softwarezuverlässigkeit.

Marke: Springer Berlin Heidelberg

MPN: 129 black & white illustrations, biograp

ISBN: 3642340318

Angebote
Merkmale

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

-7%

Gesponsert Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October ... Notes in Computer Science, Band 7610)

Medimops DE

49.98 EUR 53.49 EUR

25-08-2026 15:49:28

Access to the deal

Gesponsert Leveraging Applications of Formal Methods, Verification and Validation, Fachbücher von Tiziana Margaria, Bernhard Steffen

Galaxus.de

53.49 EUR 53.49 EUR

26-08-2026 02:35:06

Access to the deal

Gesponsert Leveraging Applications of Formal Methods, Verification and Validation

SpringerLink DE

53.49 EUR 53.49 EUR

25-08-2026 22:41:54

Access to the deal

Leveraging Applications of Formal Methods Verification and Validation

Gesponsert Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October ... Notes in Computer Science, Band 7610)

Gesponsert Leveraging Applications of Formal Methods, Verification and Validation, Fachbücher von Tiziana Margaria, Bernhard Steffen

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: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October ... Notes in Computer Science, Band 7610)

Gesponsert Leveraging Applications of Formal Methods, Verification and Validation, Fachbücher von Tiziana Margaria, Bernhard Steffen

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