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

£32.70

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: 24.99 GBP
Availability: InStock

26344446

Introduction to Programming

Price History & Forecast

Last 83 days • 83 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 83 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £33 (44 days, 53.0%)

Price range: £25 - £33

Price levels: 2 different prices over 83 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
Model: 26344446
Format: hardcover
ASIN: 3319428985
Category: Books > Subjects > Computing & Internet > Programming > Introduction to Programming
Domain: Amazon UK
Release Date: 10 April 2017
Listed Since: 15 June 2016

Barcode

No barcode data available

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude (Undergraduate Topics in Computer Science)

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

Concurrent and Real-time Systems: The CSP Approach (Worldwide Series in Computer Science)

Fundamentals of Computation Theory: 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings: 4639 (Lecture Notes in Computer Science, 4639)

Understanding Programming Languages

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

LATIN 2018: Theoretical Informatics: 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings: 10807 (Lecture Notes in Computer Science, 10807)

Computability and Logic

Cooperating Heterogeneous Systems: 299 (The Springer International Series in Engineering and Computer Science)

Logic and Theory of Algorithms: 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings: 5028 (Lecture Notes in Computer Science, 5028)

Adapting Proofs-as-Programs: The Curry--Howard Protocol (Monographs in Computer Science)

Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings: 10695 (Lecture Notes in Computer Science, 10695)

Theories of Programming Languages

Theories of Programming Languages

Proofs and Computations (Perspectives in Logic)

Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics)

CONCUR '95 Concurrency Theory: 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings: 962 (Lecture Notes in Computer Science, 962)

Mathematics of Discrete Structures for Computer Science

Foundations of Information Technology in the Era of Network and Mobile Computing: IFIP 17th World Computer Congress ― TC1 Stream / 2nd IFIP ... Information and Communication Technology, 96)

Inductive Temporal Logic Programming: Learning Temporal Logic Programs from Examples

Computational Complexity: A Quantitative Perspective (Volume 196) (North-Holland Mathematics Studies, Volume 196)

A High Performance Architecture for Prolog: 90 (The Springer International Series in Engineering and Computer Science, 90)

Semantics and Logics of Computation: 14 (Publications of the Newton Institute, Series Number 14)

Logic Programming and Nonmonotonic Reasoning: 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings: 10377 (Lecture Notes in Computer Science, 10377)