We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£108.78
Springer - Logics of Specification Languages Monograph
Price data last checked 52 day(s) ago - refreshing...
Price History & Forecast
Last 39 days • 39 data points (No recent data available)
Price Distribution
Price distribution over 39 days • 1 price levels
Price Analysis
Most common price: £109 (39 days, 100.0%)
Price range: £109 - £109
Price levels: 1 different prices over 39 days
Description
Key Features
Comprehensive studies on nine distinct specification languages and their specific logics of reasoning.
Written by industry authorities and experts in the field of specification languages and their applications.
Includes unique short commentaries from researchers associated with the original development of the languages.
Provides a formal look at syntax, semantics, and proof rules within specification systems.
Contains extensive references and pointers to guide readers toward future developments in the field.
Product Specifications
- Brand
- Springer
- Format
- Paperback
- ASIN
- 3642093450
- Category
- Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
- Domain
- Amazon UK
- Release Date
- 22 November 2010
- Listed Since
- 20 September 2010
Barcode
No barcode data available
Similar Products You Might Like
Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)
Springer
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Springer
Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)
Springer
Springer - Specification and Verification of Multi-agent Systems
Springer
Computing in Horn Clause Theories: 16 (Monographs in Theoretical Computer Science. An EATCS Series, 16)
Springer
Logic and Language Models for Computer Science: Third Edition
Scientific Publishing
Formal Languages and Compilation (Texts in Computer Science)
Springer
Software Engineering with OBJ: Algebraic Specification in Action: 2 (Advances in Formal Methods, 2)
Springer
Software Engineering with OBJ: Algebraic Specification in Action: 2 (Advances in Formal Methods, 2)
Springer
Language Computability and Formal Language Theory
Society Publishing
Handbook of Philosophical Logic: Volume 8
Springer
Handbook of Formal Languages: Volume 2. Linear Modeling: Background and Application
Springer
Domain-Specific Languages: Effective Modeling, Automation, and Reuse
Springer
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
Springer
Logic for Applications (Texts in Computer Science)
Springer
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Springer
Handbook of Philosophical Logic: Volume 14
Springer
Computation Engineering: Applied Automata Theory and Logic
Springer
Mathematical Methods in Linguistics: 30 (Studies in Linguistics and Philosophy, 30)
Springer
Logic, Language and Computation: 5 (Applied Logic Series, 5)
Springer
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings
Springer
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings
Springer
Context, Conflict and Reasoning: Proceedings of the Fifth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)
Springer
An Introduction to Formal Language Theory (Monographs in Computer Science)
Springer