Computer program testing : proceedings of the Summer school on Computer program testing held at Sogesta, Urbino, Italy, june 29-july 3, 1981 / edited by B. Chandrasekaran, S. Radicchi |
Autore | Summer school on computer testing : <1981 |
Pubbl/distr/stampa | Amsterdam : North-Holland, ©1981 |
Descrizione fisica | 325 p. : ill. ; 24 cm |
Disciplina | 005 |
Soggetto non controllato | Programmazione - Congressi |
ISBN | 0-444-86292-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990000468210403321 |
Summer school on computer testing : <1981 | ||
Amsterdam : North-Holland, ©1981 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
International computing symposium 1977 : proceedings of the International Computing symposium 1977, Liège, Belgium, 4-7 april 1977 / edited by E. Morlet, D. Ribbens ; organized by the European Chapter of the Association for computing machinery (ACM) ; with the support of the european cooperation in informatics (ECI) |
Autore | International computing symposium : <1977 |
Pubbl/distr/stampa | Amsterdam : North-Holland, 1977 |
Descrizione fisica | 613 p. : ill. ; 26 cm |
Disciplina | 001.6'4 |
Soggetto non controllato |
Elaborazione dei dati - Congressi
Programmazione - Congressi |
ISBN | 0-7104-0741-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990000457540403321 |
International computing symposium : <1977 | ||
Amsterdam : North-Holland, 1977 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
International conference on software engineering : world congress centre Melbourne Australia, may 11-15 1992 / sponsored by The institution of engineers, Australia ...[et al.] |
Autore | International conference on software engineering : <14. ; : 1992 |
Pubbl/distr/stampa | New York : Association for computing machinery, 1992 |
Descrizione fisica | 2421 p. : ill. ; 28 cm |
Disciplina | 005.3 |
Soggetto non controllato |
Programmazione - Congressi
Ingegneria del software - Congressi |
ISBN | 0-8186-2685-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990008813900403321 |
International conference on software engineering : <14. ; : 1992 | ||
New York : Association for computing machinery, 1992 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
International symposium on programming : 5th colloquium Turin, april 6-8, 1982 proceedings / edited by M. dezani-Ciancaglini, U. Montanari |
Autore | International symposium on programming : <5. ; : 1982 |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer-Verlag, 1982 |
Descrizione fisica | 406 p. : ill. ; 24 cm |
Disciplina | 005 |
Collana | Lecture notes in computer science |
Soggetto non controllato | Programmazione - Congressi |
ISBN | 3-540-11494-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990000495520403321 |
International symposium on programming : <5. ; : 1982 | ||
Berlin ; Heidelberg : Springer-Verlag, 1982 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Logics of programs : workshop, Yorktown Heights, New York, may 1981 / edited by Dexter Kozen |
Autore | Logics of programs workshop : <1981 |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer-Verlag, 1982 |
Descrizione fisica | 429 p. : ill. ; 24 cm |
Disciplina | 519.7 |
Collana | Lecture notes in computer science |
Soggetto non controllato | Programmazione - Congressi |
ISBN | 3-54011212-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990000470510403321 |
Logics of programs workshop : <1981 | ||
Berlin ; Heidelberg : Springer-Verlag, 1982 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Programming teaching techniques : proceedings of the IFIP TC-2 working conference on Programming teaching techniques Zakopane, Poland, september 18-22, 1972 / edited by W. M. Turski |
Autore | IFIP TC-2 working conference on Programming teaching techniques : <1972 |
Pubbl/distr/stampa | Amsterdam : North-Holland |
Descrizione fisica | 229 p. : ill. ; 24 cm |
Disciplina | 005.1 |
Soggetto non controllato | Programmazione - Congressi |
ISBN | 0-7204-2096-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990000493350403321 |
IFIP TC-2 working conference on Programming teaching techniques : <1972 | ||
Amsterdam : North-Holland | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Software maintenance workshop : record : naval postgraduate school, Monterrey, California, december 6-8, 1983 / edited by Robert S. Arnold |
Autore | Software maintenance workshop : <1983 |
Pubbl/distr/stampa | New York : IEEE, ©1984 |
Descrizione fisica | 302 p. : ill. ; 28 cm |
Disciplina | 005 |
Soggetto non controllato | Programmazione - Congressi |
ISBN | 0-8186-0510-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990000492370403321 |
Software maintenance workshop : <1983 | ||
New York : IEEE, ©1984 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|