We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£109.98
Springer Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)
Price data last checked 84 day(s) ago - refreshing...
Price History & Forecast
Last 7 days • 7 data points (No recent data available)
Price Distribution
Price distribution over 7 days • 1 price levels
Price Analysis
Most common price: £110 (7 days, 100.0%)
Price range: £110 - £110
Price levels: 1 different prices over 7 days
Description
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 1441923128
- Domain
- Amazon UK
- Release Date
- 19 November 2010
- Listed Since
- 06 July 2010
Barcode
No barcode data available
Similar Products You Might Like
A Practical Theory of Programming (Monographs in Computer Science)
Springer
A Programming Approach to Computability (Monographs in Computer Science)
Springer
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)
Springer
Probability Logics: Probability-Based Formalization of Uncertain Reasoning
Springer
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Springer
Algorithms and Data Structures: Foundations and Probabilistic Methods for Design and Analysis
Springer
Automatic Verification of Sequential Infinite-State Processes: 1354 (Lecture Notes in Computer Science, 1354)
Springer
Deterministic Extraction from Weak Random Sources (Monographs in Theoretical Computer Science. An EATCS Series)
Springer
Mathematical Logic for Computer Science
Springer
Springer Super-Recursive Algorithms - Computer Science Book
Springer
Proof and System-Reliability: v. 62 (NATO Science Series II)
Springer
Parameterized Complexity (Monographs in Computer Science)
Springer
Proof and Computation: 139 (NATO ASI Subseries F:, 139)
Springer
Software Verification Based on Game Semantics and Process Algebra: A Game Semantic Framework for Verifying Safety Properties of Open Programs
VDM Verlag
Resolution Proof Systems: An Algebraic Theory: 4 (Automated Reasoning Series, 4)
Springer
Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy
World Scientific Publishing Company
Deterministic Extraction from Weak Random Sources (Monographs in Theoretical Computer Science. An EATCS Series)
Springer
Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size
Springer
Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series)
Springer
Logic and Language Models for Computer Science: Third Edition
Scientific Publishing
A Logical Approach to Discrete Math (Monographs in Computer Science)
Springer
Algorithms and Data Structures: Foundations and Probabilistic Methods for Design and Analysis
Springer
Foundations of Probabilistic Programming
Cambridge University Press
Logic And Language Models For Computer Science (Third Edition)
Scientific Publishing