top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan
Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan
Autore Huth, Michael
Edizione [2nd ed.]
Pubbl/distr/stampa New York : Cambridge University Press, c2004
Descrizione fisica XIV, 427 p. ; 25 cm
Disciplina 0511.3
Altri autori (Persone) Ryan, Mark
Soggetto non controllato Logica matematica
Informatica
ISBN 978-0-521-54310-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990010091460403321
Huth, Michael  
New York : Cambridge University Press, c2004
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan
Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan
Autore Huth, Michael
Pubbl/distr/stampa Cambridge, : Cambridge University, 2000
Descrizione fisica XVIII, 387 p. ; 26 cm.
Soggetto topico 68-XX - Computer science [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020]
ISBN 05-216-5602-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0055410
Huth, Michael  
Cambridge, : Cambridge University, 2000
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan
Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan
Autore Huth, Michael
Pubbl/distr/stampa Cambridge, : Cambridge University, 2000
Descrizione fisica XVIII, 387 p. ; 26 cm
Soggetto topico 68-XX - Computer science [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020]
ISBN 05-216-5602-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0055410
Huth, Michael  
Cambridge, : Cambridge University, 2000
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan
Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan
Autore Huth, Michael
Pubbl/distr/stampa Cambridge, : Cambridge University, 2000
Descrizione fisica XVIII, 387 p. ; 26 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
68-XX - Computer science [MSC 2020]
ISBN 05-216-5602-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00055410
Huth, Michael  
Cambridge, : Cambridge University, 2000
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Tools and Algorithms for the Construction and Analysis of Systems [Risorsa elettronica] : 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal
Tools and Algorithms for the Construction and Analysis of Systems [Risorsa elettronica] : 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal
Pubbl/distr/stampa Berlin ; Heidelberg : Springer, 2007
Collana Lecture Notes in Computer Science
ISBN 9783540712091
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990009236400403321
Berlin ; Heidelberg : Springer, 2007
Risorse elettroniche
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui