Formal Methods for Industrial Applications | Kaicus Deutschland

Formal Methods for Industrial Applications

102.14 EUR 5% Off 106.99 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
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
106.99 EUR 106.99 EUR
09-06-2026 17:32:34