Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control - Lecture Notes in Computer Science - Jean-raymond Abrial - Książki - Springer-Verlag Berlin and Heidelberg Gm - 9783540619291 - 30 października 1996
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Cena
zł 407,90

Zamówione z odległego magazynu

Przewidywana dostawa 8 - 16 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

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 Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 30 października 1996
ISBN13 9783540619291
Wydawcy Springer-Verlag Berlin and Heidelberg Gm
Strony 523
Wymiary 155 × 235 × 27 mm   ·   734 g
Język Niemiecki  
Redaktor Abrial, Jean-Raymond
Redaktor Boerger, Egon
Redaktor Langmaack, Hans

Więcej od Jean-raymond Abrial

Pokaż wszystko

Inni również kupili

Zobacz wszystko od Jean-raymond Abrial ( np. Paperback Book i Hardcover Book )