Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control - Lecture Notes in Computer Science - Jean-raymond Abrial - Boeken - Springer-Verlag Berlin and Heidelberg Gm - 9783540619291 - 30 oktober 1996
Indien omslag en titel niet overeenkomen, is de titel correct

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

Prijs
€ 97,99

Besteld in een afgelegen magazijn

Verwachte levering 8 - 16 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst

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 Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 30 oktober 1996
ISBN13 9783540619291
Uitgevers Springer-Verlag Berlin and Heidelberg Gm
Pagina's 523
Afmetingen 155 × 235 × 27 mm   ·   734 g
Taal en grammatica Duits  
Uitgever Abrial, Jean-Raymond
Uitgever Boerger, Egon
Uitgever Langmaack, Hans

Meer door Jean-raymond Abrial

Alles tonen

Anderen hebben ook gekocht

Bekijk alles van Jean-raymond Abrial ( bijv. Paperback Book en Hardcover Book )