Name: Formal Techniques for Safety-Critical Systems
Brand: Cyrille Artho
SKU: ID12378604
Availability: InStock

Formal Techniques for Safety-Critical Systems

53.49 EUR

Ein praxisnahes Werk, das die neuesten formalen Methoden zur Analyse sicherheitskritischer Systeme aus dem FTSCS‑Workshop zusammenführt und konkrete Fallstudien für Ingenieure präsentiert.

Marke: Cyrille Artho

ISBN: 303012987X

Angebote
Merkmale

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

Gesponsert Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected ... Computer and Information Science, Band 1008)

Medimops DE

53.49 EUR 53.49 EUR

24-04-2026 18:26:06

Access to the deal

Gesponsert Formal Techniques for Safety-Critical Systems

SpringerLink DE

53.49 EUR 53.49 EUR

24-04-2026 08:18:17

Access to the deal

Gesponsert Formal Techniques for Safety-Critical Systems, Fachbücher von Cyrille Artho, Peter Csaba Ölveczky

Galaxus.de

53.49 EUR 53.49 EUR

24-04-2026 08:38:15

Access to the deal

Formal Techniques for Safety-Critical Systems

Gesponsert Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected ... Computer and Information Science, Band 1008)

Gesponsert Formal Techniques for Safety-Critical Systems

Gesponsert Formal Techniques for Safety-Critical Systems, Fachbücher von Cyrille Artho, Peter Csaba Ölveczky

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Formal Techniques for Safety-Critical Systems

Gesponsert Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected ... Computer and Information Science, Band 1008)

Gesponsert Formal Techniques for Safety-Critical Systems

Gesponsert Formal Techniques for Safety-Critical Systems, Fachbücher von Cyrille Artho, Peter Csaba Ölveczky

Ähnliche Produkte

Formal Techniques for Safety-Critical Systems

Formal Techniques for Safety-Critical Systems

Formal Techniques for Safety-Critical Systems: 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers ... and Information Science

Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised ... in Computer and Information Science)