Il libro è attualmente esaurito
Parametri
- 384pagine
- 14 ore di lettura
Maggiori informazioni sul libro
Focusing on computational logic, the textbook covers foundational concepts of first-order logic and advances to modern decision procedures for arithmetic and data structures. It emphasizes a logical methodology for developing correct software, making it a valuable resource for understanding both theoretical and practical aspects of computational logic in engineering.
Acquisto del libro
The Calculus of Computation, Aaron R. Bradley, Zohar Manna
- Lingua
- Pubblicato
- 2010
- product-detail.submit-box.info.binding
- (In brossura)
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Ancora nessuna valutazione.
- Titolo
- The Calculus of Computation
- Sottotitolo
- Decision Procedures with Applications to Verification
- Lingua
- Inglese
- Autori
- Aaron R. Bradley, Zohar Manna
- Editore
- Springer Berlin Heidelberg
- Pubblicato
- 2010
- Formato
- In brossura
- Pagine
- 384
- ISBN13
- 9783642093470
- Serie
- Tag
- Saggistica, Tecnologia & Ingegneria, Scienza e Matematica, Computer & Internet, Matematica, Logica
- Descrizione
- Focusing on computational logic, the textbook covers foundational concepts of first-order logic and advances to modern decision procedures for arithmetic and data structures. It emphasizes a logical methodology for developing correct software, making it a valuable resource for understanding both theoretical and practical aspects of computational logic in engineering.