Mohlo by se vám také líbit

Více informací o knize Computational Logic and Set Theory

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 116 bodů

Anotace 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

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science Human-computer interaction

• Plný název: Computational Logic and Set Theory
• Podnázev: Applying Formalized Logic to Analysis
• Autor: Jacob T. Schwartz, Domenico Cantone, Eugenio Omodeo
• Jazyk: Angličtina
• Vazba: Pevná
• Počet stran: 416
• EAN: 9780857298072
• ISBN: 0857298070
• ID: 01400064
• Nakladatelství: Springer London Ltd
• Hmotnost: 824 g
• Rozměry: 243 × 166 × 30 mm
• Datum vydání: 16. July 2011

Oblíbené z jiného soudku

---

---

---