Vai al contenuto principale della pagina

1: Background : mathematical structures / S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum editors ; volume co-ordinator Dov M. Gabbay



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: 1: Background : mathematical structures / S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum editors ; volume co-ordinator Dov M. Gabbay Visualizza cluster
Pubblicazione: Oxford : Clarendon, 1992
Descrizione fisica: XII, 827 p. ; 24 cm.
Soggetto topico: Computer science [MSC 2010] 68-XX
General logic [MSC 2010] 03Bxx
Persona (resp. second.): Gabbay, Dov M.
Abramsky, Samson
Maibaum, Thomas S. E.
Titolo autorizzato: Background  Visualizza cluster
ISBN: 01-985373-5-2
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: SUN0050957
Lo trovi qui: Univ. Vanvitelli
Localizzazioni e accesso elettronico /sebina/repository/catalogazione/documenti/Abramsky, Gabbay, Maibaum - Handbook of logic in computer science - vol. 1 - Background. mathematical structures.pdf
Opac: Controlla la disponibilità qui
Fa parte di: Handbook of logic in computer science / edited by S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum ; 1 Oxford . -Clarendon , 1992- v. , 24 cm.