Vor Ort
Merkzettel Warenkorb
Produktbild: Models of Computation

Models of Computation An Introduction to Computability Theory

Aus der Reihe Undergraduate Topics in Computer Science

39,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

21.04.2009

Abbildungen

XI, 184 p.

Verlag

Springer London

Seitenzahl

184

Maße (L/B/H)

25,4/17,8/1,2 cm

Gewicht

387 g

Sprache

Englisch

ISBN

978-1-84882-433-1

Beschreibung

Rezension

From the reviews:


"The focus of this relatively short book is on newer object-oriented and interaction-oriented models, including recent work in quantum computing and systems biology. … the book is designed for advanced undergraduate and graduate students. … Each chapter starts by clearly indicating what will be covered and ends with a series of exercises. … the book as a whole is extremely well written. Definitions are clearly stated … . Each model of computation is precisely defined, and the examples are clear and to the point." (K. Harrow, ACM Computing Reviews, September, 2009)

“It is a pleasure to see a book which takes a different approach to computer theory. … This short book can be used for a one-term course … . A valuable primer for students of programming languages. Summing Up: Highly recommended. Upper-division undergraduates and graduate students.” (P. Cull, Choice, Vol. 47 (3), November, 2009)

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

21.04.2009

Abbildungen

XI, 184 p.

Verlag

Springer London

Seitenzahl

184

Maße (L/B/H)

25,4/17,8/1,2 cm

Gewicht

387 g

Sprache

Englisch

ISBN

978-1-84882-433-1

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Models of Computation
  • Traditional Models of Computation.- Automata and Turing Machines.- The Lambda Calculus.- Recursive Functions.- Logic-Based Models of Computation.- Modern Models of Computation.- Computing with Objects.- Interaction-Based Models of Computation.- Concurrency.- Emergent Models of Computation.- Answers to Selected Exercises.