Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control - Lecture Notes in Computer Science - Jean-raymond Abrial - Bøker - Springer-Verlag Berlin and Heidelberg Gm - 9783540619291 - 30. oktober 1996
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Pris
₪ 349

Bestillingsvarer

Forventes levert 23. des - 1. jan 2026
Julegaver kan byttes frem til 31. januar

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
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

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 30. oktober 1996
ISBN13 9783540619291
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 523
Mål 155 × 235 × 27 mm   ·   734 g
Språk Tysk  
Redaktør Abrial, Jean-Raymond
Redaktør Boerger, Egon
Redaktør Langmaack, Hans
Vis alle

Mer med Jean-raymond Abrial

Andre har også kjøpt

Se alt med Jean-raymond Abrial ( f.eks. Pocketbok og Innbunden bok )