Formal specification techniques for engineering modular C programs
- Författare
- Yang Meng Tan
- (Tan Yang Meng foreword by John Guttag.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Kluwer Academic | cop. 1996 | USA, Boston | xvi, 213 sidor. ill. |