Mathematics of Program Construction [electronic resource] : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings / by Dexter Kozen, Carron Shankland
(Visualizza formato Marc21)
(visualizza in BIBRAME 2.0)
| Creatore: |
Kozen, Dexter
|
| Titolo: |
Mathematics of Program Construction [electronic resource] : 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings / by Dexter Kozen, Carron Shankland
|
| Link to work: |
Mathematics of Program Construction
|
| Pubblicazione: |
Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
|
| Index term-Uncontrolled: | Computer Science |
| Computation by Abstract Devices | |
| Logics and Meanings of Programs | |
| Mathematical Logic and Formal Languages | |
| Programming Languages, Compilers, Interpreters | |
| Software Engineering | |
| Soggetto non controllato: | Computer Science |
| Computation by Abstract Devices | |
| Logics and Meanings of Programs | |
| Mathematical Logic and Formal Languages | |
| Programming Languages, Compilers, Interpreters | |
| Software Engineering | |
| Termine d'indicizzazione-Occupazione: | Computer Science |
| Computation by Abstract Devices | |
| Logics and Meanings of Programs | |
| Mathematical Logic and Formal Languages | |
| Programming Languages, Compilers, Interpreters | |
| Software Engineering | |
| Creatori/Collaboratori: | Shankland, Carron |
| Accesso ente: | SpringerLink (Online service) |
| Collana: | Lecture notes in computer science, 0302-9743 ; 3125 |
| ISBN: | 9783540223801 |
| Formato: | Software  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 7354383 |
| Localizzazioni e accesso elettronico | http://dx.doi.org/10.1007/b98756 |
| Lo trovi qui: | University of Chicago |
| Item: | Permalink to OPAC |
Fa parte di:
Springer e-books