Cargando…
A theory of program correctness, and algorithms for proofs
| Autores principales: | , , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
1987
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/178620 |
| _version_ | 1780881374465490944 |
|---|---|
| author | Gabriel, J R Chapman, R Kljaich, J L |
| author_facet | Gabriel, J R Chapman, R Kljaich, J L |
| author_sort | Gabriel, J R |
| collection | CERN |
| id | cern-178620 |
| institution | Organización Europea para la Investigación Nuclear |
| language | eng |
| publishDate | 1987 |
| record_format | invenio |
| spelling | cern-1786202019-09-30T06:29:59Zhttp://cds.cern.ch/record/178620engGabriel, J RChapman, RKljaich, J LA theory of program correctness, and algorithms for proofsComputing and ComputersANL-87-4oai:cds.cern.ch:1786201987 |
| spellingShingle | Computing and Computers Gabriel, J R Chapman, R Kljaich, J L A theory of program correctness, and algorithms for proofs |
| title | A theory of program correctness, and algorithms for proofs |
| title_full | A theory of program correctness, and algorithms for proofs |
| title_fullStr | A theory of program correctness, and algorithms for proofs |
| title_full_unstemmed | A theory of program correctness, and algorithms for proofs |
| title_short | A theory of program correctness, and algorithms for proofs |
| title_sort | theory of program correctness, and algorithms for proofs |
| topic | Computing and Computers |
| url | http://cds.cern.ch/record/178620 |
| work_keys_str_mv | AT gabrieljr atheoryofprogramcorrectnessandalgorithmsforproofs AT chapmanr atheoryofprogramcorrectnessandalgorithmsforproofs AT kljaichjl atheoryofprogramcorrectnessandalgorithmsforproofs AT gabrieljr theoryofprogramcorrectnessandalgorithmsforproofs AT chapmanr theoryofprogramcorrectnessandalgorithmsforproofs AT kljaichjl theoryofprogramcorrectnessandalgorithmsforproofs |