Cargando…
Theory and practice of formal methods: essays dedicated to Frank de Boer on the occasion of his 60th birthday
| Autores principales: | , , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Springer International Publishing AG
2016
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2761340 |
| _version_ | 1780970498380791808 |
|---|---|
| author | Ábrahám, Erika Bonsangue, Marcello Johnsen, Einar Broch |
| author_facet | Ábrahám, Erika Bonsangue, Marcello Johnsen, Einar Broch |
| author_sort | Ábrahám, Erika |
| collection | CERN |
| id | cern-2761340 |
| institution | Organización Europea para la Investigación Nuclear |
| language | eng |
| publishDate | 2016 |
| publisher | Springer International Publishing AG |
| record_format | invenio |
| spelling | cern-27613402021-04-21T16:39:44Zhttp://cds.cern.ch/record/2761340engÁbrahám, ErikaBonsangue, MarcelloJohnsen, Einar BrochTheory and practice of formal methods: essays dedicated to Frank de Boer on the occasion of his 60th birthdayXXSpringer International Publishing AGoai:cds.cern.ch:27613402016 |
| spellingShingle | XX Ábrahám, Erika Bonsangue, Marcello Johnsen, Einar Broch Theory and practice of formal methods: essays dedicated to Frank de Boer on the occasion of his 60th birthday |
| title | Theory and practice of formal methods: essays dedicated to Frank de Boer on the occasion of his 60th birthday |
| title_full | Theory and practice of formal methods: essays dedicated to Frank de Boer on the occasion of his 60th birthday |
| title_fullStr | Theory and practice of formal methods: essays dedicated to Frank de Boer on the occasion of his 60th birthday |
| title_full_unstemmed | Theory and practice of formal methods: essays dedicated to Frank de Boer on the occasion of his 60th birthday |
| title_short | Theory and practice of formal methods: essays dedicated to Frank de Boer on the occasion of his 60th birthday |
| title_sort | theory and practice of formal methods: essays dedicated to frank de boer on the occasion of his 60th birthday |
| topic | XX |
| url | http://cds.cern.ch/record/2761340 |
| work_keys_str_mv | AT abrahamerika theoryandpracticeofformalmethodsessaysdedicatedtofrankdeboerontheoccasionofhis60thbirthday AT bonsanguemarcello theoryandpracticeofformalmethodsessaysdedicatedtofrankdeboerontheoccasionofhis60thbirthday AT johnseneinarbroch theoryandpracticeofformalmethodsessaysdedicatedtofrankdeboerontheoccasionofhis60thbirthday |