Name: Integrated Formal Methods
Brand: Jim Davies
SKU: ID13024235
Availability: InStock

Integrated Formal Methods

106.99 EUR 9% Off 118.00 EUR

Die Proceedings der sechsten IFM‑Konferenz in Oxford bündeln innovative Ansätze zur Integration formaler Methoden, beleuchten neue Modellierungswerkzeuge und zeigen deren Einsatz bei der Analyse von Echtzeit- und sicherheitskritischen Systemen.

Marke: Jim Davies

ISBN: 3540732098

MPN: biography

Angebote
Merkmale

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

-9%

Gesponsert Integrated Formal Methods, Fachbücher von Jim Davies, Jeremy Gibbons

Galaxus.de

106.99 EUR 118.00 EUR

25-07-2026 01:01:45

Access to the deal

Gesponsert Integrated Formal Methods

SpringerLink DE

118.00 EUR 118.00 EUR

24-07-2026 23:08:44

Access to the deal

Integrated Formal Methods

Gesponsert Integrated Formal Methods, Fachbücher von Jim Davies, Jeremy Gibbons

Gesponsert Integrated Formal Methods

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Integrated Formal Methods

Gesponsert Integrated Formal Methods, Fachbücher von Jim Davies, Jeremy Gibbons

Gesponsert Integrated Formal Methods

Ähnliche Produkte

Integrated Formal Methods: 19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings (Lecture Notes in Computer Science, Band 15234)

Integrated Formal Methods

Integrated Formal Methods

Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings (Lecture Notes in Computer Science, Band 12546)