We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£150.80
Cheaper than 83% of the days we've watched it.
£151 today · 30-day average £158 · all-time low £136
Information Science Reference Formal Languages for Computer Simulation: Transdisciplinary Models and Applications
Price data last checked 20 day(s) ago - will refresh soon
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 71 days · 71 data points (no recent data)
Price data last checked 20 day(s) ago - will refresh soon
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 71 days • 4 price levels
Price Analysis
Most common price: £164 (30 days, 42.3%)
Price range: £136 - £164
Price levels: 4 different prices over 71 days
Description
Product Specifications
- Format
- hardcover
- ASIN
- 1466643692
- Category
- Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
- Domain
- Amazon UK
- Release Date
- 31 July 2013
- Listed Since
- 14 March 2013
Barcode
No barcode data available
Similar Products You Might Like
Formal Methods for Industrial Critical Systems: A Survey of Applications
Wiley
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings: 8442 (Lecture Notes in Computer Science, 8442)
Springer
FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings: 5850 (Lecture Notes in Computer Science, 5850)
Springer
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Springer
NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings: 11460 (Lecture Notes in Computer Science, 11460)
Springer
Formal Methods and Models for System Design - Springer
Springer
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)
Springer
Formal Language: A Practical Introduction
Franklin Beedle & Associates
Understanding Modelling and Programming
Springer
Software Verification Based on Game Semantics and Process Algebra: A Game Semantic Framework for Verifying Safety Properties of Open Programs
VDM Verlag
From Astrophysics to Unconventional Computation: Essays Presented to Susan Stepney on the Occasion of her 60th Birthday: 35 (Emergence, Complexity and Computation, 35)
Springer
Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)
Springer
Specification and Verification of Multi-agent Systems - Springer
Springer
Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday: 4060 (Lecture Notes in Computer Science, 4060)
Springer
Formal Methods Applied to Complex Systems: Implementation of the B Method (Computer Engineering (Wiley))
Wiley
FM'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, ... (Lecture Notes in Computer Science, 1709)
Springer
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Springer
Tool Support for System Specification, Development and Verification (Advances in Computing Sciences)
Springer
Elsevier Theory of Modeling and Simulation - 3rd Edition
Elsevier
Logic and Language Models for Computer Science: Third Edition
Scientific Publishing
Understanding Programming Languages
Springer
Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 ― December 1, 2017, Proceedings: 10623 (Lecture Notes in Computer Science, 10623)
Springer
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
Theories of Programming Languages
Cambridge University Press