Logic and Algebra of Specification

Logic and Algebra of Specification

Logic and Algebra of Specification

Barcode: 09783642580413
Brand: Springer Berlin Heidelberg
There are no offers for this product at this time.

More From Springer Berlin Heidelberg

Dental Pathology : A Practical Introduction
Dental Pathology : A Practical Introduction
from £76.08
The Political Economy of Fiscal Policy : Public Deficits, Volatility, and Growth
The Political Economy of Fiscal Policy : Public Deficits, Volatility, and Growth
from £76.08
Advanced Parallel Processing Technologies : 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings
Advanced Parallel Processing Technologies : 5th International Workshop, APPT 2003, Xiamen, China, September 17-19, 2003, Proceedings
from £76.08
Technologies of Inclusive Well-Being : Serious Games, Alternative Realities, and Play Therapy
Technologies of Inclusive Well-Being : Serious Games, Alternative Realities, and Play Therapy
from £76.08
Molecular Quantum Dynamics : From Theory to Applications
Molecular Quantum Dynamics : From Theory to Applications
from £101.58
Knowledge Sharing Through Technology : 8th International Conference on Information and Communication Technology in Teaching and Learning, ICT 2013, Hong Kong,China, July 10-11, 2013
Knowledge Sharing Through Technology : 8th International Conference on Information and Communication Technology in Teaching and Learning, ICT 2013, Hong Kong,China, July 10-11, 2013
from £38.24
Rock and Pop Venues : Acoustic and Architectural Design
Rock and Pop Venues : Acoustic and Architectural Design
from £84.58
Clinician's Guide to the Diagnosis and Management of Tooth Sensitivity
Clinician's Guide to the Diagnosis and Management of Tooth Sensitivity
from £76.08
Neurotrophic Factors
Neurotrophic Factors
from £212.08
Art, Cultural Heritage and the Market : Ethical and Legal Issues
Art, Cultural Heritage and the Market : Ethical and Legal Issues
from £110.08
Middleware 2013 : ACM/IFIP/USENIX 14th International Middleware Conference, Beijing, China, December 9-13, 2013, Proceedings
Middleware 2013 : ACM/IFIP/USENIX 14th International Middleware Conference, Beijing, China, December 9-13, 2013, Proceedings
from £38.24
Theory and Practice of Natural Computing : Second International Conference, TPNC 2013, Caceres, Spain, December 3-5, 2013. Proceedings
Theory and Practice of Natural Computing : Second International Conference, TPNC 2013, Caceres, Spain, December 3-5, 2013. Proceedings
from £33.99
Algorithmic Probability and Friends. Bayesian Prediction and Artificial Intelligence : Papers from the Ray Solomonoff 85th Memorial Conference, Melbourne, VIC, Australia, November 30 -- December 2, 20
Algorithmic Probability and Friends. Bayesian Prediction and Artificial Intelligence : Papers from the Ray Solomonoff 85th Memorial Conference, Melbourne, VIC, Australia, November 30 -- December 2, 20
from £38.24
Lean and Cleaner Production : Applications in Prefabrication to Reduce Carbon Emissions
Lean and Cleaner Production : Applications in Prefabrication to Reduce Carbon Emissions
from £110.08
Neural Information Processing : 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013. Proceedings, Part II
Neural Information Processing : 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013. Proceedings, Part II
from £38.24
VLSI Design and Test : 17th International Symposium, VDAT 2013, Jaipur, India, July 27-30, 2013, Proceedings
VLSI Design and Test : 17th International Symposium, VDAT 2013, Jaipur, India, July 27-30, 2013, Proceedings
from £38.24
Phospholipases in Plant Signaling
Phospholipases in Plant Signaling
from £110.08
Hemorrhoids
Hemorrhoids
from £76.08
Security Protocols : 21st International Workshop, Cambridge, UK, March 19-20, 2013, Revised Selected Papers
Security Protocols : 21st International Workshop, Cambridge, UK, March 19-20, 2013, Revised Selected Papers
from £38.24
Advances in Cryptology - ASIACRYPT 2013 : 19th International Conference on the Theory and Application of Cryptology and Information, Bengaluru, India, December 1-5, 2013, Proceedings, Part I
Advances in Cryptology - ASIACRYPT 2013 : 19th International Conference on the Theory and Application of Cryptology and Information, Bengaluru, India, December 1-5, 2013, Proceedings, Part I
from £38.24

Price History

Excluding delivery costs, shows the lowest price over time.

Other Products You Might Like

Logic and Algebra
Logic and Algebra
from £75.60
Logic and Algebra
Logic and Algebra
from £216.00
Logic and Algebra
Logic and Algebra
from £216.00
The Temporal Logic of Reactive and Concurrent Systems : Specification
The Temporal Logic of Reactive and Concurrent Systems : Specification
from £38.24
Universal Algebra, Algebraic Logic, and Databases
Universal Algebra, Algebraic Logic, and Databases
from £76.08
Logic as Algebra
Logic as Algebra
from £29.70
Logic, Algebra, and Computation : International Summer School
Logic, Algebra, and Computation : International Summer School
from £76.08
Boole's Logic and Probability : A Critical Exposition from the Standpoint of Contemporary Algebra, Logic and Probability Theory
Boole's Logic and Probability : A Critical Exposition from the Standpoint of Contemporary Algebra, Logic and Probability Theory
from £41.79
Fork Algebras In Algebra, Logic And Computer Science
Fork Algebras In Algebra, Logic And Computer Science
from £23.20
Specification, Algebra, and Software : Essays Dedicated to Kokichi Futatsugi
Specification, Algebra, and Software : Essays Dedicated to Kokichi Futatsugi
from £38.24
A Geometry of Approximation : Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns
A Geometry of Approximation : Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns
from £212.08
Specification and Verification of Declarative Open Interaction Models : A Logic-Based Approach
Specification and Verification of Declarative Open Interaction Models : A Logic-Based Approach
from £38.24
An Introduction to the Logic of Algebra : With Illustrative Exercises
An Introduction to the Logic of Algebra : With Illustrative Exercises
from £5.82
Model Theory of Algebra and Arithmetic : Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz,Poland, September 1-7, 1979
Model Theory of Algebra and Arithmetic : Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz,Poland, September 1-7, 1979
from £28.89
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
from £66.45
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
from £63.33
The Equationally-Defined Commutator : A Study in Equational Logic and Algebra
The Equationally-Defined Commutator : A Study in Equational Logic and Algebra
from £38.24
Mathematics of the 19th Century : Mathematical Logic Algebra Number Theory Probability Theory
Mathematics of the 19th Century : Mathematical Logic Algebra Number Theory Probability Theory
from £41.64
Computer Algebra and Polynomials : Applications of Algebra and Number Theory
Computer Algebra and Polynomials : Applications of Algebra and Number Theory
from £33.99
Introduction to Abstract Algebra, Logic & Important Mathematical Concepts
Introduction to Abstract Algebra, Logic & Important Mathematical Concepts
from £37.50