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

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

Pris
DKK 862

Bestilles fra fjernlager

Forventes klar til forsendelse 5. - 9. jan. 2026
Julegaver kan byttes frem til 31. januar

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
eller

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

Mere med Jean-raymond Abrial

Vis alle

Andre har også købt

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