We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£58.68
Springer Type Systems for Distributed Programs: Components and Sessions: 7 (Atlantis Studies in Computing, 7)
Price data last checked 93 day(s) ago - refreshing...
We'll watch every seller, every day. One email when your price arrives.
This is the most expensive it has ever been. Walk away.
£59 today · previous high £59 · all-time low £59
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 History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 130 days • 130 data points (No recent data available)
Price Distribution
Price distribution over 130 days • 1 price levels
Price Analysis
Most common price: £59 (130 days, 100.0%)
Price range: £59 - £59
Price levels: 1 different prices over 130 days
Description
Product Specifications
- Brand
- Springer
- Format
- hardcover
- ASIN
- 946239203X
- Category
- Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
- Domain
- Amazon UK
- Release Date
- 09 August 2016
- Listed Since
- 12 May 2016
Barcode
No barcode data available
Similar Products You Might Like
Advanced Topics in Types and Programming Languages
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Springer
Distributed and Parallel Embedded Systems: IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES’98) October ... Information and Communication Technology, 25)
Springer
Concurrent and Real-time Systems: The CSP Approach (Worldwide Series in Computer Science)
Wiley
Theories of Programming: The Life and Works of Tony Hoare (ACM Collection II)
Morgan & Claypool
TAPSOFT '93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings: 668 (Lecture Notes in Computer Science, 668)
Springer
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and ... Greece, April 14-20, 2018, Proceedings
Saint Philip Street Press
Basic Simple Type Theory: 42 (Cambridge Tracts in Theoretical Computer Science, Series Number 42)
Cambridge University Press
STACS 93: 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings: 665 (Lecture Notes in Computer Science, 665)
Springer
Types & Programming Languages (The MIT Press)
MIT Press
Exploring New Frontiers of Theoretical Informatics: IFIP 18th World Computer Congress TC1 3rd International Conference on Theoretical Computer Science ... and Communication Technology, 155)
Springer
Nature-Inspired Networking: Theory and Applications
CRC Press
Concurrency Verification: Introduction to Compositional and Non-compositional Methods: 54 (Cambridge Tracts in Theoretical Computer Science, Series Number 54)
Cambridge University Press
Principles of Cyber-Physical Systems
Type Theory and Formal Proof: An Introduction
Cambridge University Press
Theoretical Aspects of Computing – ICTAC 2021: 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings
Springer
Concurrency 88: International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings: 335 (Lecture Notes in Computer Science, 335)
Springer
Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based ... Information and Communication Technology, 49)
Springer
Isomorphisms of Types: from ?-calculus to information retrieval and language design (Progress in Theoretical Computer Science)
Birkhauser
From Action Systems to Distributed Systems: The Refinement Approach (Chapman & Hall/Crc Computational Science)
CRC Press
Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers
Springer
Formal and Adaptive Methods for Automation of Parallel Programs Construction: Emerging Research and Opportunities (Advances in Systems Analysis, Software Engineering, and High Performance Computing)
IGI Global
Proceedings of International Conference on Computational Intelligence and Data Engineering: ICCIDE 2017: 9 (Lecture Notes on Data Engineering and Communications Technologies, 9)
Springer
Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based ... Information and Communication Technology, 49)
Springer