Mohlo by se vám také líbit

Více informací o knize Models of Computation

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

Nákupem získáte 198 bodů

Anotace knihy

This book presents in their basic form the most important models of computation, their programming paradigms, and their mathematical descriptions, both concrete and abstract. The authors also describe important techniques for reasoning on them and for proving some essential properties. After preliminary chapters that introduce the notions of structure and meaning, semantic methods, inference rules, and logic programming, the authors arrange their chapters into parts on IMP, a simple imperative language; HOFL, a higher-order functional language, concurrent systems, and probabilistic systems.§§The book will be useful for undergraduate and graduate courses on theoretical computer science.§

Parametry knihy

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

• Plný název: Models of Computation
• Autor: Roberto Bruni, Ugo Montanari
• Jazyk: Angličtina
• Vazba: Pevná
• Počet stran: 395
• EAN: 9783319428987
• ISBN: 3319428985
• ID: 13496437
• Nakladatelství: Springer International Publishing AG
• Hmotnost: 7509 g
• Rozměry: 235 × 155 × 27 mm
• Datum vydání: 10. April 2017

Oblíbené z jiného soudku

---

---

---