All categories
Kaicus
Baby & Kleinkind
Bekleidung & Accessoires
Bürobedarf
Elektronik
Fahrzeuge & Teile
Für Erwachsene
Gesundheit & Schönheit
Heim & Garten
Heimwerkerbedarf
Kameras & Optik
Kunst & Unterhaltung
Medien
Möbel
Nahrungsmittel, Getränke & Tabak
Software
Spielzeuge & Spiele
Sportartikel
Taschen & Gepäck
Tiere & Tierbedarf
Wirtschaft & Industrie
UK España Italia Deutschland France
© 2026, Kaicus - Smart Shopping
All rights reserved
Kaicus Medien Bücher Formal Methods for Industrial Applications
product image
product image
product image
product image

Formal Methods for Industrial Applications

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

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)

106.99 EUR 106.99 EUR
22-04-2026 17:57:46
Access to the deal

Gesponsert Formal Methods for Industrial Applications

106.99 EUR 106.99 EUR
22-04-2026 09:18:56
Access to the deal

Ähnliche Produkte

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)

53.49 EUR
Produkt anzeigen

Formal Methods for Industrial Critical Systems

52.94 EUR 53.49 EUR
Produkt anzeigen

Formal Methods for Industrial Critical Systems

53.49 EUR
Produkt anzeigen

Formal Engineering for Industrial Software Development

53.49 EUR
Produkt anzeigen