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

Viac informácií o knihe Decision Procedures

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

Nákupom získate 268 bodov

Anotácia knihy

This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH Zurich and at the Technion, Haifa. The authors focus on theories that are expressive enough to model real problems, but are still decidable.§

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer programming / software development Algorithms & data structures

• Celý názov: Decision Procedures
• Podnázov: An Algorithmic Point of View
• Autor: Daniel Kroening, Ofer Strichman
• Jazyk: Angličtina
• Väzba: Pevná
• Počet strán: 356
• EAN: 9783662504963
• ISBN: 3662504960
• ID: 02981250
• Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnosť: 722 g
• Rozmery: 244 × 165 × 26 mm
• Dátum vydania: 27. January 2017

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

---

---

---