Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control - Lecture Notes in Computer Science - Jean-raymond Abrial - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540619291 - 30. oktober 1996
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Jean-raymond Abrial

Pris
Mex$ 2.507,50

Bestilles fra fjernlager

Forventes klar til forsendelse 30. jun. - 4. jul.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 30. oktober 1996
ISBN13 9783540619291
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 523
Mål 155 × 235 × 27 mm   ·   734 g
Sprog Tysk  
Klipper/redaktør Abrial, Jean-Raymond
Klipper/redaktør Boerger, Egon
Klipper/redaktør Langmaack, Hans
Vis alle

Mere med Jean-raymond Abrial

Andre har også købt

Se alt med Jean-raymond Abrial ( f.eks. Paperback Bog og Hardcover bog )