top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalit√† di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005 / Kung-Kiu Lau, Richard Banach(Eds.) : Manchester, UK, November 1-4, 2005 : proceedings
Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005 / Kung-Kiu Lau, Richard Banach(Eds.) : Manchester, UK, November 1-4, 2005 : proceedings
Autore International conference on formal engineering methods, ICFEM 2005 : <7. ; : 2005
Pubbl/distr/stampa Berlin : Springer, copyr. 2006
Descrizione fisica XIV, 494 p. : ill. ; 20 cm
Disciplina 004.01
Collana Lecture notes in computer science
Soggetto topico Elaboratori elettronici -- Programmazione -- Manchester -- 2005 -- Congressi
Soggetto non controllato Software
ISBN 3-540-29797-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990002965310203316
International conference on formal engineering methods, ICFEM 2005 : <7. ; : 2005  
Berlin : Springer, copyr. 2006
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Program Development in Computational Logic : a decade of research advances in logic-based program development / Maurice Bruynooghe, Kunk-Kiu Lau(Eds.)
Program Development in Computational Logic : a decade of research advances in logic-based program development / Maurice Bruynooghe, Kunk-Kiu Lau(Eds.)
Autore BRUYNOOGHE, Maurice
Pubbl/distr/stampa Berlin [etc.] : Springer, copyr. 2004
Descrizione fisica VIII, 538 p. : ill. ; 24 cm.
Disciplina 004.071245
Altri autori (Persone) LAU, Kung-Kiu
Collana Lecture notes in computer science, State of the Art Survey
Soggetto topico Informatica - Programmazione
ISBN 3-540-22152-2
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990002962260203316
BRUYNOOGHE, Maurice  
Berlin [etc.] : Springer, copyr. 2004
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui