Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control - Lecture Notes in Computer Science - Jean-raymond Abrial - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540619291 - keskiviikko 30. lokakuuta 1996
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Jean-raymond Abrial

Hinta
DKK 757,68

Tilattu etävarastosta

Arvioitu toimitus pe 27. kesä - ma 7. heinä
Lisää iMusic-toivelistallesi
Eller

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

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

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 30. lokakuuta 1996
ISBN13 9783540619291
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 523
Mitta 155 × 235 × 27 mm   ·   734 g
Kieli German  
Toimittaja Abrial, Jean-Raymond
Toimittaja Boerger, Egon
Toimittaja Langmaack, Hans

Näytä kaikki

Lisää tuotteita Jean-raymond Abrial

Muutkin ovat ostaneet