Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control - Lecture Notes in Computer Science - Jean-raymond Abrial - Bücher - Springer-Verlag Berlin and Heidelberg Gm - 9783540619291 - 30. Oktober 1996
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Jean-raymond Abrial
Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control - Lecture Notes in Computer Science 1996 edition

Preis
€ 98,49

Bestellware

Lieferdatum: ca. 8. - 16. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen
oder

In this text and CD-ROM, the major techniques for formally supported specification, design and verification of large programs and complex systems are applied to a non-trivial and non-academic problem which is typical for industrial informal requirements specifications.

532 pages, biography

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 30. Oktober 1996
ISBN13 9783540619291
Verlag Springer-Verlag Berlin and Heidelberg Gm
Seitenanzahl 523
Maße 155 × 235 × 27 mm   ·   734 g
Sprache Deutsch  
Redakteur Abrial, Jean-Raymond
Redakteur Boerger, Egon
Redakteur Langmaack, Hans

Weitere Titel von Jean-raymond Abrial

Alle anzeigen

Andere haben auch gekauft

Alle Titel von Jean-raymond Abrial ansehen ( u. a. Taschenbuch und Gebundenes Buch )