Software development with Z : a practical approach to formal methods in software engineering
Finna-arvio
Software development with Z : a practical approach to formal methods in software engineering
Tallennettuna:
| Ulkoasu |
334 sivua : kuvitettu |
|---|---|
| Kieli |
englanti |
| Alkuteoksen kieli |
englanti |
| Huomautukset |
Lisäpainokset: Repr. 1994. |
| Julkaisija |
Wokingham :
Addison-Wesley,
cop. 1992.
|
| Sarja | International computer series |
| Luokitus | |
| Aiheet | |
| Lisätiedot | J. B. Wordsworth |
| ISBN |
0-201-62757-4 nidottu |
| Hae kokoteksti | |