We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£65.61
It has never been this cheap. We have no record of a lower price.
£66 today · cheaper than every other day in the last 3 months
Springer - Programs as Diagrams: Categorical Computability
Price data last checked 64 day(s) ago - refreshing...
We'll watch every seller, every day. One email when your price arrives.
Price History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 27 days · 27 data points (no recent data)
Price data last checked 64 day(s) ago - refreshing...
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
when this has been cheap or pricey
where the price is heading next
all-time high & low, recent range
name your number, we'll email you
Price Distribution
Price distribution over 27 days • 1 price levels
Price Analysis
Most common price: £66 (27 days, 100.0%)
Price range: £66 - £66
Price levels: 1 different prices over 27 days
Description
Key Features
Published by Springer as part of the Theory and Applications of Computability series.
Uses string diagrams in the language of categories to provide a visual syntax of mathematics.
Provides a method for computer scientists to analyze program semantics through diagrammatic depictions.
Helps programmers display the syntax of computations using a single-instruction programming language approach.
Offers a unique textbook and reference for studying categorical computability and computable categories.
Product Specifications
- Brand
- Springer
- Format
- hardcover
- ASIN
- 3031348265
- Domain
- Amazon UK
- Release Date
- 20 September 2023
- Listed Since
- 04 May 2023
Barcode
No barcode data available
Similar Products You Might Like
Programs as Diagrams: From Categorical Computability to Computable Categories (Theory and Applications of Computability)
Springer
Chapman Hall/CRC Computability Theory Mathematics Book
Chapman and Hall/CRC
Springer Higher-Order Computability Theory and Applications
Springer
Springer Higher-Order Computability Theory and Applications
Springer
A Programming Approach to Computability (Monographs in Computer Science)
Springer
Computability
Springer
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)
Springer
The Calculus of Computation: Decision Procedures with Applications to Verification
Springer
Theory of Computation
Wiley
Computable Structure Theory: Within the Arithmetic (Perspectives in Logic)
Cambridge University Press
Introduction to Metamathematics (Bibliotheca Mathematica)
North Holland
Computability: An Introduction to Recursive Function Theory
Cambridge University Press
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity
CRC Press
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity
CRC Press
Computability In Context: Computation And Logic In The Real World
Imperial College Press
The Foundations of Computability Theory
Springer
Computational Logic: 165 (NATO ASI Subseries F:, 165)
Springer
Fundamentals of Computation Theory: International Conference FCT '89, Szeged, Hungary, August 21-25, 1989. Proceedings: 380 (Lecture Notes in Computer Science, 380)
Springer
Complexity, Logic, and Recursion Theory: 187 (Lecture Notes in Pure and Applied Mathematics)
CRC Press
Introduction to Languges, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic
Springer
Program Design Calculi: 118 (NATO ASI Subseries F:, 118)
Springer
Program Design Calculi: 118 (NATO ASI Subseries F:, 118)
Springer
Computability Theory: An Introduction to Recursion Theory
Elsevier
New Computational Paradigms: First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings: 3526 (Lecture Notes in Computer Science, 3526)
Springer