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.

Biblioteca

MARC Lista (tabellare)
FM 2009: formal methods : second world congress : Eindhoven, The Netherlands, november 2-6, 2009 : proceedings / Ana Cavalcanti...[et al.] (Eds.)
FM 2009: formal methods : second world congress : Eindhoven, The Netherlands, november 2-6, 2009 : proceedings / Ana Cavalcanti...[et al.] (Eds.)
Pubbl/distr/stampa Berlin[etc.] : Springer, copyr. 2009
Descrizione fisica XVII, 820 p. ; 24 cm
Disciplina 005.74
Collana Lecture notes in computer science
Soggetto topico Elaborazione Elettronica - Congressi - Eindhoven - 2009
ISBN 978-3-642-05088-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003347270203316
Berlin[etc.] : Springer, copyr. 2009
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Formal methods and software engineering : 11th international conference on formal engineering methods, ICFEM 2009 : Rio de Janeiro, brazil, december 9-12, 2009 : proceedings / Karin Breitman, Ana Cavalcanti (Eds.)
Formal methods and software engineering : 11th international conference on formal engineering methods, ICFEM 2009 : Rio de Janeiro, brazil, december 9-12, 2009 : proceedings / Karin Breitman, Ana Cavalcanti (Eds.)
Autore International conference on formal engineering methods, ICFEM 2009 : <11.; : 2009
Pubbl/distr/stampa Berlin [etc.] : Springer, copyr. 2009
Descrizione fisica XIV, 758 p. : ill. ; 24 cm
Disciplina 004.01
Collana Lecture notes in computer science
Soggetto topico Elaboratori -- Programmazione -- Atti di congressi
Programmi per elaboratori -- Progettazione -- Atti di congressi
ISBN 978-3-642-10372-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003407850203316
International conference on formal engineering methods, ICFEM 2009 : <11.; : 2009  
Berlin [etc.] : Springer, copyr. 2009
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Refinement Techniques in Software Engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004 : Recife, Brazil, November 23-December 5, 2004 : Revised Lectures / Ana Cavalcanti, Augusto Sampaio, Jim Woodcock (Eds.)
Refinement Techniques in Software Engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004 : Recife, Brazil, November 23-December 5, 2004 : Revised Lectures / Ana Cavalcanti, Augusto Sampaio, Jim Woodcock (Eds.)
Autore Pernambuco Summer School on Software Engineering, PSSE 2004 : <1.; : 2004
Pubbl/distr/stampa Berlin [etc.] : Springer, copyr. 2006
Descrizione fisica X, 391 p. ; 24 cm
Disciplina 005.1
Collana Lecture Notes in Computer Science, Tutorial
Soggetto topico Ingegneria del software - Congressi - Recife - 2004
ISBN 3-540-46253-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003070900203316
Pernambuco Summer School on Software Engineering, PSSE 2004 : <1.; : 2004  
Berlin [etc.] : Springer, copyr. 2006
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui