Mohlo by sa vám tiež páčiť

Viac informácií o knihe Computational Logic and Set Theory

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 122 bodov

Anotácia knihy

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

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer science Human-computer interaction

• Celý názov: Computational Logic and Set Theory
• Podnázov: Applying Formalized Logic to Analysis
• Autor: Jacob T. Schwartz, Domenico Cantone, Eugenio Omodeo
• Jazyk: Angličtina
• Väzba: Pevná
• Počet strán: 416
• EAN: 9780857298072
• ISBN: 0857298070
• ID: 01400064
• Nakladateľ: Springer London Ltd
• Hmotnosť: 824 g
• Rozmery: 243 × 166 × 30 mm
• Dátum vydania: 16. July 2011

Obľúbené z iného súdka

---

---

---