Mohlo by se vám také líbit

Více informací o knize Decision Procedures

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

Nákupem získáte 154 bodů

Anotace 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.

Parametry knihy

• Plný název: Decision Procedures
• Podnázev: An Algorithmic Point of View
• Autor: Daniel Kroening, Ofer Strichman
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 356
• EAN: 9783662570654
• ID: 20119732
• Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnost: 580 g
• Rozměry: 156 × 233 × 24 mm
• Datum vydání: 13. July 2018

Oblíbené z jiného soudku

---

---

---