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.
Isabelle : a generic theorem prover / Lawrence C. Paulson ; with contributions by Tobias Nipkow
| Isabelle : a generic theorem prover / Lawrence C. Paulson ; with contributions by Tobias Nipkow |
| Autore | Paulson, Lawrence C. |
| Pubbl/distr/stampa | Berlin [etc.], : Springer, c1994 |
| Descrizione fisica | XVII, 321 p. ; 24 cm |
| Disciplina |
511.30285
511.3028553 |
| Collana | Lecture notes in computer science |
| ISBN |
0387582444
3540582444 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-AQ10007879 |
Paulson, Lawrence C.
|
||
| Berlin [etc.], : Springer, c1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Types for proofs and programs : International workshop, TYPES 2003 : Torino, Italy, April/May 2003 : selected papers / Stefano Berardi ... [et al.] (eds.)
| Types for proofs and programs : International workshop, TYPES 2003 : Torino, Italy, April/May 2003 : selected papers / Stefano Berardi ... [et al.] (eds.) |
| Autore | International workshop TYPES 2003 : <2003 ; : Torino> |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 2004 |
| Descrizione fisica | X, 408 p. : ill. ; 23 cm |
| Disciplina | 511.30285 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Logica matematica - Congressi - Torino - 2003 |
| ISBN | 3-540-22164-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990002957420203316 |
|
International workshop TYPES 2003 : <2003 ; : Torino>
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Types for proofs and programs : International workshop, TYPES 2004 : Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers / Jean-Christophe Filliâtre... [et al.] (eds.)
| Types for proofs and programs : International workshop, TYPES 2004 : Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers / Jean-Christophe Filliâtre... [et al.] (eds.) |
| Autore | International workshop TYPES 2004 : <2004 ; : Jouy-en-Josas> |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2006 |
| Descrizione fisica | VIII, 272 p. : ill. ; 23 cm |
| Disciplina | 511.30285 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Logica matematica - Congressi - Jouy-en-Josas - 2004 |
| ISBN | 3-540-31428-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990002979430203316 |
|
International workshop TYPES 2004 : <2004 ; : Jouy-en-Josas>
|
||
| Berlin [etc.] : Springer, copyr. 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Types for proofs and programs : International Workshop, TYPES 2000 : Durham ,UK, December 8-12, 2000 : Selected papers / Paul Callaghan... <et al.> (eds.)
| Types for proofs and programs : International Workshop, TYPES 2000 : Durham ,UK, December 8-12, 2000 : Selected papers / Paul Callaghan... <et al.> (eds.) |
| Autore | International workshop, TYPES 2000 <2000 ; Durham ; UK > |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, copyr. 2002 |
| Descrizione fisica | 242 p. : ill. ; 20 cm |
| Disciplina | 511.30285 |
| Collana | Lecture notes in computer science |
| Soggetto non controllato | Logica matematica - Congressi - 2000 |
| ISBN | 3-540-43287-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990001109990203316 |
|
International workshop, TYPES 2000 <2000 ; Durham ; UK >
|
||
| Berlin [etc.] : Springer-Verlag, copyr. 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Unifying the Software Process Spectrum : International Software Process Workshop, SPW 2005 : Beijing, China, May 25-27, 2005 : revised selected papers / Mingshu Li... [et al.] (eds.)
| Unifying the Software Process Spectrum : International Software Process Workshop, SPW 2005 : Beijing, China, May 25-27, 2005 : revised selected papers / Mingshu Li... [et al.] (eds.) |
| Autore | International Software Process Workshop, SPW 2005 : <2005 ; : Beijing > |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2006 |
| Descrizione fisica | XVI, 552 p. : ill. ; 23 cm |
| Disciplina | 511.30285 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Informatica - Software - Programmazione - Congressi - Beijing - 2005 |
| ISBN | 3-540-31112-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990002979450203316 |
|
International Software Process Workshop, SPW 2005 : <2005 ; : Beijing >
|
||
| Berlin [etc.] : Springer, copyr. 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||