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)
Mathematical theory of computation / Zohar Manna
Mathematical theory of computation / Zohar Manna
Autore Manna, Zohar
Pubbl/distr/stampa New York [etc.] : McGraw-Hill, c1974
Descrizione fisica x, 448 p. ; 24 cm
Disciplina 510.78
Collana McGraw-Hill Computer Science Series
Soggetto non controllato Teoria della programmazione e utilizzazione dei computers
Software
ISBN 0-07-039910-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001029750403321
Manna, Zohar  
New York [etc.] : McGraw-Hill, c1974
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Studies in automatic programming logic / Zohar Manna, Richard Waldinger ; with a contributions by Shmuel Katz, Karl Levitt
Studies in automatic programming logic / Zohar Manna, Richard Waldinger ; with a contributions by Shmuel Katz, Karl Levitt
Autore Manna, Zohar
Pubbl/distr/stampa New York ; Amsterdam : North Holland, ©1977
Descrizione fisica 192 p. : ill. ; 24 cm
Disciplina 005.133
Altri autori (Persone) Waldinger, Richard
Collana Artificial intelligence series
The computer science library
Soggetto non controllato Programmazione
ISBN 0-444-00224-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990000495460403321
Manna, Zohar  
New York ; Amsterdam : North Holland, ©1977
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Teoria matematica della computazione / Zohar Manna
Teoria matematica della computazione / Zohar Manna
Autore Manna, Zohar
Pubbl/distr/stampa Torino : Boringhieri, [1978]
Descrizione fisica IX, 451 p. ; 21 cm
Disciplina 511.8
Collana Testi e manuali della scienza contemporanea. Serie di informatica
Soggetto non controllato Elaboratori elettroniciProgrammazione
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Titolo uniforme
Record Nr. UNIPARTHENOPE-000018857
Manna, Zohar  
Torino : Boringhieri, [1978]
Materiale a stampa
Lo trovi qui: Univ. Parthenope
Opac: Controlla la disponibilità qui
Teoria matematica della computazione / Zohar Manna
Teoria matematica della computazione / Zohar Manna
Autore Manna, Zohar
Pubbl/distr/stampa Torino : Boringhieri, c1978
Descrizione fisica ix, 451 p. ; 20 cm
Disciplina 004
Collana Testi e manuali della scienza contemporanea, Serie di informatica
Soggetto non controllato Computer science - Teoria della computazione
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNINA-990001438540403321
Manna, Zohar  
Torino : Boringhieri, c1978
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Teoria matematica della computazione / Zohar Manna
Teoria matematica della computazione / Zohar Manna
Autore Manna, Zohar
Pubbl/distr/stampa Torino : Boringhieri, c1978
Descrizione fisica IX, 451 p. ; 21 cm.
Disciplina 004
Collana Testi e manuali della scienza contemporanea
Soggetto topico Elaboratori elettronici - Programmazione
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNIBAS-000013156
Manna, Zohar  
Torino : Boringhieri, c1978
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
Teoria matematica della computazione / Zohar Manna ; [ traduzione di Pierfranco Peretti]
Teoria matematica della computazione / Zohar Manna ; [ traduzione di Pierfranco Peretti]
Autore Manna, Zohar
Pubbl/distr/stampa Torino : Boringhieri, copyr. 1978
Descrizione fisica IX, 451 p. : ill. ; 20 cm.
Disciplina 004
Collana Testi e manuali della scienza contemporanea. Serie di informatica
Soggetto non controllato elaborazione elettronica - modelli matematici
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISA-990000236930203316
Manna, Zohar  
Torino : Boringhieri, copyr. 1978
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
The calculus of computation : decision procedures with applications to verification / Aaron R. Bradley, Zohar Manna
The calculus of computation : decision procedures with applications to verification / Aaron R. Bradley, Zohar Manna
Autore Bradley, Aaron R.
Pubbl/distr/stampa Berlin, : Springer, 2007
Descrizione fisica XV, 366 p. : ill. ; 25 cm
Altri autori (Persone) Manna, Zohar
Soggetto topico 68-XX - Computer science [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020]
03B25 - Decidability of theories and sets of sentences [MSC 2020]
03F30 - First-order arithmetic and fragments [MSC 2020]
03B70 - Logic in computer science [MSC 2020]
68Q60 - Specification and verification (program logics, model checking, etc.) [MSC 2020]
68N30 - Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) [MSC 2020]
Soggetto non controllato Algorithm Analysis
Algorithms
Artificial Intelligence
Computer
Data structure
Formal method
Learning
Logic
Problem complexity
Verification
ISBN 978-35-407-4112-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0250684
Bradley, Aaron R.  
Berlin, : Springer, 2007
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
The calculus of computation : decision procedures with applications to verification / Aaron R. Bradley, Zohar Manna
The calculus of computation : decision procedures with applications to verification / Aaron R. Bradley, Zohar Manna
Autore Bradley, Aaron R.
Pubbl/distr/stampa Berlin, : Springer, 2007
Descrizione fisica XV, 366 p. : ill. ; 25 cm
Altri autori (Persone) Manna, Zohar
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03B25 - Decidability of theories and sets of sentences [MSC 2020]
03B70 - Logic in computer science [MSC 2020]
03F30 - First-order arithmetic and fragments [MSC 2020]
68-XX - Computer science [MSC 2020]
68N30 - Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) [MSC 2020]
68Q60 - Specification and verification (program logics, model checking, etc.) [MSC 2020]
Soggetto non controllato Algorithm Analysis
Algorithms
Artificial Intelligence
Computer
Data structure
Formal method
Learning
Logic
Problem complexity
Verification
ISBN 978-35-407-4112-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN00250684
Bradley, Aaron R.  
Berlin, : Springer, 2007
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
The logic of computer programming / Zohar Manna, Richard Waldinger
The logic of computer programming / Zohar Manna, Richard Waldinger
Autore Manna, Zohar
Pubbl/distr/stampa Stanford : Computer Science Department, 1977
Descrizione fisica 83 p. : ill. ; 28 cm
Disciplina 005
Altri autori (Persone) Waldinger, Richard
Soggetto non controllato Programmazione
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990000470310403321
Manna, Zohar
Stanford : Computer Science Department, 1977
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
The Temporal Logic of Reactive and Concurrent Systems / Zohar Manna, Amir Pnueli
The Temporal Logic of Reactive and Concurrent Systems / Zohar Manna, Amir Pnueli
Autore Manna, Zohar
Pubbl/distr/stampa New York : Springer-Verlag, 1992
Disciplina 510.78
Soggetto non controllato Teoria della programmazione e utilizzazione dei computers
Software
ISBN 0-387-97664-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001112250403321
Manna, Zohar  
New York : Springer-Verlag, 1992
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui