Formal specification and software development
| Päätekijä: | |
|---|---|
| Muut tekijät: | |
| Aineistotyyppi: | Kirja |
| Julkaistu: |
Englewood Cliffs, N.J.
Prentice, Hall International
1982
|
| Sarja: | Prentice-Hall International series in computer science
|
| Aiheet: |