Fortell venner om denne varen:
Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control - Lecture Notes in Computer Science 1996 edition
Jean-raymond Abrial
Pris
$ 106,99
Bestillingsvarer
Forventes levert 2. - 10. jul
Legg til iMusic ønskeliste
Eller
Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control - Lecture Notes in Computer Science 1996 edition
Jean-raymond Abrial
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 )