Vai al contenuto principale della pagina

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 Visualizza persona
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 Visualizza cluster
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