Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control - Lecture Notes in Computer Science - Jean-raymond Abrial - Böcker - Springer-Verlag Berlin and Heidelberg Gm - 9783540619291 - 30 oktober 1996
Om omslag och titel inte matchar är det titeln som gäller

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

Pris
SEK 1.069

Beställningsvara

Förväntad leverans 7 - 15 jan 2026
Julklappar kan bytas fram till 31:e januari

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
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öcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 30 oktober 1996
ISBN13 9783540619291
Utgivare Springer-Verlag Berlin and Heidelberg Gm
Antal sidor 523
Mått 155 × 235 × 27 mm   ·   734 g
Språk Tyska  
Redaktör Abrial, Jean-Raymond
Redaktör Boerger, Egon
Redaktör Langmaack, Hans

Fler produkter med Jean-raymond Abrial

Visa alla

Andra har också köpt

Se alt med Jean-raymond Abrial ( t.ex. Pocketbok och Inbunden Bok )