Books > Computing & IT > General theory of computing
|
Buy Now
Models of Computation (Paperback, Softcover reprint of the original 1st ed. 2017)
Loot Price: R1,851
Discovery Miles 18 510
|
|
Models of Computation (Paperback, Softcover reprint of the original 1st ed. 2017)
Series: Texts in Theoretical Computer Science. An EATCS Series
Expected to ship within 10 - 15 working days
|
This book presents in their basic form the most important models of
computation, their basic programming paradigms, and their
mathematical descriptions, both concrete and abstract. Each model
is accompanied by relevant formal techniques for reasoning on it
and for proving some 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, nondeterministic and
interactive models; and probabilistic/stochastic models. The
authors have class-tested the book content over many years, and it
will be valuable for graduate and advanced undergraduate students
of theoretical computer science and distributed systems, and for
researchers in this domain. Each chapter of the book concludes with
a list of exercises addressing the key techniques introduced,
solutions to selected exercises are offered at the end of the book.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.