Het boek is momenteel niet op voorraad
Parameters
- 384bladzijden
- 14 uur lezen
Meer over het boek
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.
Een boek kopen
The Calculus of Computation, Aaron R. Bradley, Zohar Manna
- Taal
- Jaar van publicatie
- 2010
- product-detail.submit-box.info.binding
- (Paperback)
Zodra we het ontdekt hebben, sturen we een e-mail.
Betaalmethoden
Nog niemand heeft beoordeeld.
- Titel
- The Calculus of Computation
- Ondertitel
- Decision Procedures with Applications to Verification
- Taal
- Engels
- Auteurs
- Aaron R. Bradley, Zohar Manna
- Uitgever
- Springer Berlin Heidelberg
- Jaar van publicatie
- 2010
- Formaat
- Paperback
- Aantal pagina's
- 384
- ISBN13
- 9783642093470
- Reeks
- Tags
- Non-fictie, Technologie & Industrie, Wetenschap en Wiskunde, Computers & Internet, Wiskunde, Logica
- Aantekening
- 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.