Systematic software development using VDM / Cliff B. Jones
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Jones, Cliff B. <1944- >
|
| Titolo: |
Systematic software development using VDM / Cliff B. Jones
|
| Pubblicazione: | New York [etc.], : Prentice Hall, c1990 |
| Edizione: | 2. ed |
| Descrizione fisica: | XIV, 333 p. ; 23 cm |
| Disciplina: | 005.1 |
| Soggetto topico: | Elaboratori elettronici - Programmazione |
| Elaboratori elettronici - Programmi - Sviluppo | |
| Note generali: | Bibliografia: P. 321-322. |
| Titolo autorizzato: | Systematic software development using VDM |
| ISBN: | 0138807337 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | RMS0048320 |
| Lo trovi qui: | Univ. del Sannio |
| Collocazione: | SALA DING 005.1 JON.sy |
| Opac: | Controlla la disponibilità qui |
Serie:
Prentice-Hall international series in computer science / C.A.R. Hoare series editor