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.
CPP '16 : proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs : January 18-19, 2016, St. Petersburg, FL, USA / / edited by Jeremy Avigad and Adam Chlipala ; sponsored by ACM SIGPLAN
| CPP '16 : proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs : January 18-19, 2016, St. Petersburg, FL, USA / / edited by Jeremy Avigad and Adam Chlipala ; sponsored by ACM SIGPLAN |
| Pubbl/distr/stampa | New York : , : ACM, , 2016 |
| Descrizione fisica | 1 online resource (196 pages) |
| Disciplina | 004.0151 |
| Soggetto topico |
Computer science - Mathematics
Proof theory - Data processing Formal methods (Computer science) |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-4503-4127-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Certified Programs and Proofs 2016 : proceedings of the 5th Association for Computing Machinery Special Interest Group on Programming Languages Conference on Certified Programs and Proofs : January 18-19, 2016, St. Petersburg, FL, USA
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs Proceedings of the 5th Association for Computing Machinery Special Interest Group on Programming Languages Conference on Certified Programs and Proofs |
| Record Nr. | UNINA-9910376541603321 |
| New York : , : ACM, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
CPP '17 : proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs : January 16-17, 2017, Paris, France / / edited by Yves Bertot and Viktor Vafeiadis
| CPP '17 : proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs : January 16-17, 2017, Paris, France / / edited by Yves Bertot and Viktor Vafeiadis |
| Pubbl/distr/stampa | New York : , : ACM, , 2017 |
| Descrizione fisica | 1 online resource (234 pages) |
| Disciplina | 004.0151 |
| Soggetto topico |
Computer science - Mathematics
Formal methods (Computer science) Proof theory - Data processing |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-4503-4705-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Certified Programs and Proofs '17 : proceedings of the 6th Association for Computing Machinery Special Interest Group on Programming Languages Conference on Certified Programs and Proofs : January 16-17, 2017, Paris, France
Certified Programs and Proofs 2017 Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs Proceedings of the 6th Association for Computing Machinery Special Interest Group on Programming Languages Conference on Certified Programs and Proofs |
| Record Nr. | UNINA-9910376430403321 |
| New York : , : ACM, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
CPP '18 : proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs : January 8-9, 2018, Los Angeles, CA, USA / / edited by June Andronick and Amy Felty ; sponsored by ACM SIGPLAN
| CPP '18 : proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs : January 8-9, 2018, Los Angeles, CA, USA / / edited by June Andronick and Amy Felty ; sponsored by ACM SIGPLAN |
| Pubbl/distr/stampa | New York : , : ACM, , 2018 |
| Descrizione fisica | 1 online resource (306 pages) |
| Disciplina | 004.0151 |
| Soggetto topico |
Computer science - Mathematics
Proof theory - Data processing Formal methods (Computer science) |
| Soggetto genere / forma | Electronic books. |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs
Proceedings of the seventh Association for Computing Machinery Special Interest Group on Programming Languages International Conference on Certified Programs and Proofs Certified Programs and Proofs 2018 : proceedings of the seventh Association for Computing Machinery Special Interest Group on Programming Languages International Conference on Certified Programs and Proofs : January 8-9, 2018, Los Angeles, CA, USA |
| Record Nr. | UNINA-9910376031103321 |
| New York : , : ACM, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The seventeen provers of the world / / foreword by Dana S. Scott ; Freek Wiedijk (ed.)
| The seventeen provers of the world / / foreword by Dana S. Scott ; Freek Wiedijk (ed.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2006 |
| Descrizione fisica | 1 online resource (XVI, 162 p.) |
| Disciplina | 511.3/6 |
| Altri autori (Persone) | WiedijkFreek <1961-> |
| Collana | Lecture notes in computer science. Lecture notes in artificial intelligence |
| Soggetto topico |
Proof theory - Data processing
Algebra - Computer programs |
| ISBN | 3-540-32888-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Informal -- HOL -- Mizar -- PVS -- Coq -- Otter/Ivy -- Isabelle/Isar -- Alfa/Agda -- ACL2 -- PhoX -- IMPS -- Metamath -- Theorema -- Lego -- Nuprl -- ?mega -- B Method -- Minlog. |
| Record Nr. | UNINA-9910484584803321 |
| Berlin ; ; New York, : Springer, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
