Software engineering mathematics : formal methods demystified
Jim Woodcock ; Martin Loomes
| Year of publication: |
1988
|
|---|---|
| Authors: | Woodcock, Jim ; Loomes, Martin |
| Publisher: |
London : Pitman |
| Subject: | Mathematik | Software Engineering | Einführung |
| Description of contents: | Table of Contents [digitool.hbz-nrw.de] |
| Extent: | 291 S. |
|---|---|
| Type of publication: | Book / Working Paper |
| Language: | English |
| ISBN: | 0-273-02673-9 |
| Classification: | Methoden und Techniken der Betriebswirtschaft |
| Source: |
Persistent link: https://www.econbiz.de/10004854722