Name: Formal Methods for Industrial Applications
Brand: Jean-Raymond Abrial
SKU: ID11997834

Formal Methods for Industrial Applications

102.14 EUR 13% Off 118.00 EUR

Ein praxisnahes Buch, das formale Methoden auf die Entwicklung von Dampfkesselsteuerungen anwendet und zeigt, wie präzise Spezifikationen in sichere, effiziente Programme umgesetzt werden können.

Marke: Jean-Raymond Abrial

ISBN: 3540619291

MPN: biography

Angebote
Merkmale

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

-13%

Gesponsert Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control (Lecture Notes in Computer Science) (Lecture Notes in Computer Science, 1165, Band 1165)

Medimops DE

102.14 EUR 118.00 EUR

03-11-2026 11:05:54

Access to the deal

-9%

Gesponsert Formal Methods for Industrial Applications

Hugendubel

106.99 EUR 118.00 EUR

04-11-2026 02:23:31

Access to the deal

Gesponsert Formal Methods for Industrial Applications

SpringerLink DE

118.00 EUR 118.00 EUR

03-11-2026 17:45:52

Access to the deal

Formal Methods for Industrial Applications

Gesponsert Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control (Lecture Notes in Computer Science) (Lecture Notes in Computer Science, 1165, Band 1165)

Gesponsert Formal Methods for Industrial Applications

Gesponsert Formal Methods for Industrial Applications

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Formal Methods for Industrial Applications

Gesponsert Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control (Lecture Notes in Computer Science) (Lecture Notes in Computer Science, 1165, Band 1165)

Gesponsert Formal Methods for Industrial Applications

Gesponsert Formal Methods for Industrial Applications

Ähnliche Produkte

Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers

Formal Methods for Industrial Critical Systems: 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings

Critical Systems: Formal Methods and Automated Verification