Vai al contenuto principale della pagina
Biblioteche
Info
Contattaci
Pubblicazioni (Istanze)
Ricerca
Avanzata
Ovunque
Titolo
Nome
Soggetto
mostra
5
10
25
50
risultati per pagina ordinati per
Rilevanza
Titolo
Autore
Anno di pubblicazione
Record Nr.
Vai a Persone/Opere
Home
The calculus of computation : decision procedures with applications to verification / Aaron R. Bradley, Zohar Manna
Info
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
Autore:
Bradley, Aaron R.
Titolo:
The calculus of computation : decision procedures with applications to verification / Aaron R. Bradley, Zohar Manna
Pubblicazione:
Berlin, : Springer, 2007
Titolo uniforme:
The calculus of computation
Descrizione fisica:
XV, 366 p. : ill. ; 25 cm
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
Altri autori:
Manna, Zohar
Titolo autorizzato:
Calculus of computation
ISBN:
978-35-407-4112-1
Formato:
Materiale a stampa
Livello bibliografico
Monografia
Lingua di pubblicazione:
Inglese
Record Nr.:
VAN0250684
Lo trovi qui:
Univ. Vanvitelli
Opac:
Controlla la disponibilità qui