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

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

27-07-2026 23:35:41

Access to the deal

Gesponsert Formal Methods for Industrial Applications

SpringerLink DE

118.00 EUR 118.00 EUR

27-07-2026 19:59:12

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

Ä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

Ähnliche Produkte

Formal Methods for Industrial Critical Systems, Fachbücher von Anne Remke, Bernhard Steffen

Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems