Software development with Z : a practical approach to formal methods in software engineering / J. B. Wordsworth
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: | Wordsworth, J. B. |
| Titolo: | Software development with Z : a practical approach to formal methods in software engineering / J. B. Wordsworth |
| Pubblicazione: | Wokingham [etc.] : Addison-Wesley, copyr. 1992 |
| Descrizione fisica: | XII, 334 p. : ill. ; 24 cm |
| Disciplina: | 00512 |
| Soggetto non controllato: | linguaggio z |
| softwaresviluppo | |
| Scala mat. grafico: | altro genere |
| ISBN: | 0-201-62757-4 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 990000197870203316 |
| Lo trovi qui: | Univ. di Salerno |
| Collocazione: | 005.12 WOR |
| Opac: | Controlla la disponibilità qui |
Serie:
International computer science series
| Biblioteca: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |