Formal engineering for industrial software development : using the SOFL method
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
New York :
Springer ,
c2004
|
| Subjects: | |
| Online Access: | Table of contents only |
| Physical Description: | xxii, 408 p. : ill. ; 25 cm. |
|---|---|
| Bibliography: | Includes bibliographical references (p 383-389) and index |
| ISBN: | 3540206027 (hbk.) 9781841695884 (hbk.) |