Name: Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th ... Notes in Computer Science, 4346, Band 4346)
Brand: Lubos Brim
SKU: ID13380322

Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th ... Notes in Computer Science, 4346, Band 4346)

59.00 EUR

Ein Fachband aus dem 11. International Workshop FMICS 2006, der neue Ansätze zur Modellierung und Verifikation kritischer Industriesysteme sowie praktische Tool‑Implementierungen beleuchtet.

Marke: Lubos Brim

ISBN: 3540709517

MPN: biography

SKU: M3540709517

Angebote
Merkmale

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

Gesponsert Formal Methods: Applications and Technology

SpringerLink DE

59.00 EUR 59.00 EUR

07-09-2026 11:13:25

Access to the deal

Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th ... Notes in Computer Science, 4346, Band 4346)

Gesponsert Formal Methods: Applications and Technology

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th ... Notes in Computer Science, 4346, Band 4346)

Gesponsert Formal Methods: Applications and Technology

Ähnliche Produkte

Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4–6, 2024, Proceedings (Lecture Notes in Computer Science, Band 15403)

Concise Guide to Formal Methods

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

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