Mathematical logic in computer science / edited by B. Domolki and T. Gergely
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Domolki, B.
|
| Titolo: |
Mathematical logic in computer science / edited by B. Domolki and T. Gergely
|
| Pubblicazione: | Amsterdam : North-Holland, 1981 |
| Descrizione fisica: | 758 p. : ill. ; 25 cm. |
| Disciplina: | 519.4 |
| Soggetto topico: | Logic of programming |
| Programming | |
| Programming languages-semantics | |
| Classificazione: | AMS 03B70 |
| Altri autori: | Gergely, T. |
| Note generali: | Papers presented at the Colloquium on Mathematical Logic in Computer Science held in Salgótarján, September 10-15, 1978 under the auspices of Bolyai Janos Mathematical Society. |
| ISBN: | 0444854401 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 991001112649707536 |
| Lo trovi qui: | Univ. del Salento |
| Opac: | Controlla la disponibilità qui |
Serie:
Colloquia mathematica Societatis Janos Bolyai, ISSN 01393383 ; 26