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

Architecture & Microprocessors

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 27 days • 1 price levels

Days at Price

Price Analysis

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

Price range: £31 - £31

Price levels: 1 different prices over 27 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 > Computer Science > Architecture & Microprocessors
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)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Theory of Computation: Automata, Formal Languages, Computation and Complexity

A Programming Approach to Computability (Monographs in Computer Science)

Theory of Computation (Texts in Computer Science)

Theory of Computation

Automata and Computability (Undergraduate Texts in Computer Science)

Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. an Eatcs Series)

Computability

Mathematics in Programming

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

Logic and Language Models for Computer Science: Third Edition

Automata and Computability

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Computing in Horn Clause Theories: 16 (Monographs in Theoretical Computer Science. An EATCS Series, 16)

Boolean Functions and Computation Models (Texts in Theoretical Computer Science. An EATCS Series)

Formal Languages and Compilation (Texts in Computer Science)

Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

The Foundations of Computability Theory

Constructive Models (Siberian School of Algebra and Logic)

Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)

An Introduction to Formal Language Theory (Monographs in Computer Science)

Formal Languages and Computation: Models and Their Applications

Springer Programming Language Design and Implementation Book

Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)

Mathematical Logic for Computer Science