Vai al contenuto principale della pagina
Autore: |
Goldblatt, Robert
![]() |
Titolo: |
Axiomatising the logic of computer programming / Robert Goldblatt
![]() |
Pubblicazione: | Berlin : Springer-Verlag, 1982 |
Descrizione fisica: | xi, 304 p. ; 24 cm. |
Disciplina: | 519.4 |
Soggetto topico: | Programming languages |
Proof theory | |
Note generali: | Bibliography: p. 291-298. |
Includes index | |
ISBN: | 5407112103 |
Formato: | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 991000710759707536 |
Lo trovi qui: | Univ. del Salento |
Opac: | Controlla la disponibilità qui |