Cargando…
Formal methods in computer system design
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
CERN
1989
|
| Materias: | |
| Acceso en línea: | https://dx.doi.org/10.5170/CERN-1989-006.1 http://cds.cern.ch/record/367501 |
| _version_ | 1780892973302546432 |
|---|---|
| author | Hoare, C A R |
| author_facet | Hoare, C A R |
| author_sort | Hoare, C A R |
| collection | CERN |
| id | cern-367501 |
| institution | Organización Europea para la Investigación Nuclear |
| language | eng |
| publishDate | 1989 |
| publisher | CERN |
| record_format | invenio |
| spelling | cern-3675012019-09-30T06:29:59Zdoi:10.5170/CERN-1989-006.1http://cds.cern.ch/record/367501engHoare, C A RFormal methods in computer system designXXCERNoai:cds.cern.ch:3675011989 |
| spellingShingle | XX Hoare, C A R Formal methods in computer system design |
| title | Formal methods in computer system design |
| title_full | Formal methods in computer system design |
| title_fullStr | Formal methods in computer system design |
| title_full_unstemmed | Formal methods in computer system design |
| title_short | Formal methods in computer system design |
| title_sort | formal methods in computer system design |
| topic | XX |
| url | https://dx.doi.org/10.5170/CERN-1989-006.1 http://cds.cern.ch/record/367501 |
| work_keys_str_mv | AT hoarecar formalmethodsincomputersystemdesign |