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 ...
Gesponsert
Medimops DE
106.99 EUR
Preis aktualisiert am: 27-04-2026 03:54:51
Gesponsert
SpringerLink DE
106.99 EUR
Preis aktualisiert am: 27-04-2026 06:49:32
Allgemein
Marke
Jean-Raymond Abrial
ISBN
Jean-Raymond Abrial 3540619291
MPN
Jean-Raymond Abrial biography
