We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£84.55
Springer FEIN 63502225230 SL E-Cut C HCS 50x65 Saw Blade, 0 V, Multi-Colour
Price data checked 4 days ago
Price History & Forecast
Last 87 days • 87 data points (No recent data available)
Price Distribution
Price distribution over 87 days • 4 price levels
Price Analysis
Most common price: £113 (44 days, 50.6%)
Price range: £85 - £113
Price levels: 4 different prices over 87 days
Description
Key Features
Part of the Applied Logic Series (16) from Springer, ensuring high academic standards for researchers and students.
Covers the historical progression from Prior's foundational work to modern applications in computer science.
Addresses the practical application of temporal logic in the specification and verification of computer programs.
Designed for a global research community working within computer science and artificial intelligence.
Connects theoretical logic with practical disciplines including natural sciences and philosophy.
Product Specifications
- Brand
- Springer
- Format
- hardcover
- ASIN
- 0792361490
- Category
- Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
- Domain
- Amazon UK
- Release Date
- 31 December 1999
- Listed Since
- 15 December 2006
Barcode
No barcode data available
Similar Products You Might Like
Springer Advances in Temporal Logic 16 - Applied Logic Series
Springer
Temporal Logic - World Scientific Publishing Company Book
World Scientific Publishing Company
Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Logic in Asia: Studia Logica Library)
Springer
Logics for Databases and Information Systems: 436 (The Springer International Series in Engineering and Computer Science, 436)
Springer
Springer The Logic of Time - Synthese Library 156 Book
Springer
Many-Dimensional Modal Logics: Theory and Applications (Volume 148) (Studies in Logic and the Foundations of Mathematics, Volume 148)
North Holland
The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse: 156 (Synthese Library, 156)
Springer
Springer Advances in Verification of Time Petri Nets and TA
Springer
Context, Conflict and Reasoning: Proceedings of the Fifth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)
Springer
An Introduction to Practical Formal Methods Using Temporal Logic
Wiley
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
Springer
Logic for Applications (Texts in Computer Science)
Springer
Handbook of Philosophical Logic: Volume 8
Springer
Temporal Logic: From Ancient Ideas to Artificial Intelligence: 57 (Studies in Linguistics and Philosophy, 57)
Springer
Springer Mathematical Problems from Applied Logic I - Vol 4
Springer
AI Aspects in Reasoning, Languages, and Computation: 889 (Studies in Computational Intelligence, 889)
Springer
Handbook of Philosophical Logic: Volume 14
Springer
Time & Logic: A Computational Approach (Routledge Revivals)
Routledge
Logic and Algorithms in Computational Linguistics 2018 (LACompLing2018): 860 (Studies in Computational Intelligence, 860)
Springer
Computing in Horn Clause Theories: 16 (Monographs in Theoretical Computer Science. An EATCS Series, 16)
Springer
Advanced Models for Project Management: 16 (International Series in Operations Research & Management Science, 16)
Springer
Handbook of Philosophical Logic: Volume 13
Springer
Logic, Language and Computation: 5 (Applied Logic Series, 5)
Springer
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Springer