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 236 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

Zařazení knihy Knihy v angličtině Computing & information technology Computer programming / software development Algorithms & data structures

• Plný název: Decision Procedures
• Podnázev: An Algorithmic Point of View
• Autor: Daniel Kroening, Ofer Strichman
• Jazyk: Angličtina
• Vazba: Pevná
• Počet stran: 356
• EAN: 9783662504963
• ISBN: 3662504960
• ID: 02981250
• Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnost: 722 g
• Rozměry: 244 × 165 × 26 mm
• Datum vydání: 27. January 2017

Oblíbené z jiného soudku

---

---

---