Models of Computation (Texts in Theoretical Computer Science. An EATCS Series) - Image 1

£31.47

Springer Models of Computation (Texts in Theoretical Computer Science. An EATCS Series)

Name: Models of Computation (Texts in Theoretical Computer Science. An EATCS Series)
Brand: Springer
Price: 31.47 GBP
Availability: InStock

Introduction to Programming

It has never been this cheap. We have no record of a lower price.

£31 today · cheaper than every other day in the last 3 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 68 days · 68 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 68 days • 1 price levels

Days at Price

Price Analysis

Most common price: £31 (68 days, 100.0%)

Price range: £31 - £31

Price levels: 1 different prices over 68 days

Description

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.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3319826891
Category: Books > Subjects > Computing & Internet > Programming > Introduction to Programming
Domain: Amazon UK
Release Date: 18 July 2018
Listed Since: 18 July 2018

Barcode

No barcode data available

Springer Models of Computation (Texts in Theoretical Computer Science. An EATCS Series)

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Models of Computation (Texts in Theoretical Computer Science. An EATCS Series)

Fundamentals of Computation Theory: International Conference FCT '89, Szeged, Hungary, August 21-25, 1989. Proceedings: 380 (Lecture Notes in Computer Science, 380)

Computability

Foundational and Practical Aspects of Resource Analysis: First International Workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2010, ... (Lecture Notes in Computer Science, 6324)

Functional Programming, Glasgow 1994: Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, 12–14 September 1994 (Workshops in Computing)

A Programming Approach to Computability (Monographs in Computer Science)

Two Level Functional Languages: 34 (Cambridge Tracts in Theoretical Computer Science, Series Number 34)

Theory of Computation

Programs as Diagrams: From Categorical Computability to Computable Categories (Theory and Applications of Computability)

Higher-Order Computability (Theory and Applications of Computability)

Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)

Theory and Applications of Models of Computation: 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007, Proceedings: 4484 (Lecture Notes in Computer Science, 4484)

Lambda-calculus, Combinators and Functional Programming: 4 (Cambridge Tracts in Theoretical Computer Science, Series Number 4)

Reflections on the Work of C.A.R. Hoare

Concrete Semantics: With Isabelle/HOL

Theory of Computation (Texts in Computer Science)

Springer Higher-Order Computability Theory and Applications

Introduction to the Theory of Computation

Cambridge Functional Programming Implementation Book - Series 45

Programs as Diagrams: From Categorical Computability to Computable Categories (Theory and Applications of Computability)

Programming Languages: An Active Learning Approach

Logical Approaches to Computational Barriers: Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings: 3988 (Lecture Notes in Computer Science, 3988)

Implementation of Functional Languages: 10th International Workshop, IFL'98, London, UK, September 9-11, 1998, Selected Papers: 1595 (Lecture Notes in Computer Science, 1595)

CRC Press Theory and Practice of Computation WCTP 2019