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)

53.49 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: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th ... Notes in Computer Science, 4346, Band 4346)

Medimops DE

53.49 EUR 53.49 EUR

23-04-2026 06:08:25

Access to the deal

Gesponsert Formal Methods: Applications and Technology

SpringerLink DE

53.49 EUR 53.49 EUR

23-04-2026 09:13:53

Access to the deal

Gesponsert Formal Methods: Applications and Technology, Fachbücher von Martin Leucker, Jaco van de Pol, Boudewijn Haverkort, Lubos Brim

Galaxus.de

53.49 EUR 53.49 EUR

22-04-2026 21:17:56

Access to the deal