Formal specification and software development
| 1. Verfasser: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Buch |
| Veröffentlicht: |
Englewood Cliffs, N.J.
Prentice, Hall International
1982
|
| Schriftenreihe: | Prentice-Hall International series in computer science
|
| Schlagworte: |