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

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

Hinta
€ 101,49

Tilattu etävarastosta

Arvioitu toimitus ke - to 7. - 15. tammi 2026
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai

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 Saksa  
Toimittaja Abrial, Jean-Raymond
Toimittaja Boerger, Egon
Toimittaja Langmaack, Hans

Lisää tuotteita Jean-raymond Abrial

Näytä kaikki

Muutkin ovat ostaneet

Katso kaikki joka sisältää Jean-raymond Abrial ( Esim. Paperback Book Ja Hardcover Book )