Programming from specifications / Carrol Morgan |
Autore | Morgan, Carroll |
Pubbl/distr/stampa | New York [etc.] : Prentice Hall, copyr. 1990 |
Descrizione fisica | XI, 255 p. : ill. ; 23 cm |
Disciplina | 0051 |
Collana | Prentice Hall international seriesin computer science |
Soggetto non controllato | elaboratori elettronici - programmazione |
ISBN | 0-13-726233-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000228130203316 |
Morgan, Carroll | ||
New York [etc.] : Prentice Hall, copyr. 1990 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Theoretical Aspects of Computing - ICTAC 2009 [Risorsa elettronica] : 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings / edited by Martin Leucker, Carroll Morgan |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2009 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783642034664 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009261510403321 |
Berlin ; Heidelberg : Springer, 2009 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. Federico II | ||
|