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.
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 | ||
| ||
Soggetto topico
-
68N30 - Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) [MSC 2020]
(21)
- 68-XX - Computer science [MSC 2020] (12)
- 97U50 - Computer assisted instruction, e-learning (aspects of mathematics education) [MSC 2020] (11)
- 26-XX - Real functions [MSC 2020] (8)
- 34A05 - Explicit solutions and reductions of ordinary differential equations [MSC 2020] (8)