You might also like

More about Computational Logic and Set Theory

• Book details
• Synopsis
• Trending among others

You get 122 loyalty points

Book synopsis

As computer software becomes more complex, the question of how its correctness can be assured grows ever more critical. Formal logic embodied in computer programs is an important part of the answer to this problem.§This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the

Book details

Book category Books in English Computing & information technology Computer science Human-computer interaction

• Full title: Computational Logic and Set Theory
• Subtitle: Applying Formalized Logic to Analysis
• Author: Jacob T. Schwartz, Domenico Cantone, Eugenio Omodeo
• Language: English
• Binding: Hardback
• Number of pages: 416
• EAN: 9780857298072
• ISBN: 0857298070
• ID: 01400064
• Publisher: Springer London Ltd
• Weight: 824 g
• Dimensions: 243 × 166 × 30 mm
• Date of publishing: 16. July 2011

Trending among others

---

---

---