
Vinkkaa tuotetta kavereillesi:
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
Jean-raymond Abrial
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
Katso kaikki joka sisältää Jean-raymond Abrial ( Esim. Paperback Book Ja Hardcover Book )