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)

Ein kompakter Ratgeber, der die Theorie formaler Methoden auf die Praxis der Dampfkesselsteuerung überträgt und zeigt, wie präzise Spezifikationen ...
Wo zu kaufen (3) Eigenschaften
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
Preis aktualisiert am: 03-11-2026 11:05:54
Siehe Produktangebot
Gesponsert
Formal Methods for Industrial Applications
Hugendubel
106.99 EUR
Preis aktualisiert am: 29-10-2026 10:50:55
Siehe Produktangebot
Gesponsert
Formal Methods for Industrial Applications
SpringerLink DE
118.00 EUR
Preis aktualisiert am: 03-11-2026 17:45:52
Siehe Produktangebot

Allgemein

Marke
Jean-Raymond Abrial
ISBN
Jean-Raymond Abrial 3540619291
MPN
Jean-Raymond Abrial biography

Eigenschaften

Ähnliche Produkte

Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers (Lecture Notes in Computer Science, 4916, Band 4916)
Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers (Lecture Notes in Computer Science, 4916, Band 4916)
Aus53.49 EUR 4
Produkt anzeigen
Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
Aus53.49 EUR 4
Produkt anzeigen
Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
Aus48.99 EUR 4
Produkt anzeigen
Critical Systems: Formal Methods and Automated Verification
Aus53.49 EUR 4
Produkt anzeigen
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)
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)
Aus53.49 EUR 4
Produkt anzeigen
Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings (Lecture Notes in Computer Science)
Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings (Lecture Notes in Computer Science)
Aus51.36 EUR 3
Produkt anzeigen
Menü