Specification and Transformation of Programs : A Formal Approach to Software Development

Specification and Transformation of Programs : A Formal Approach to Software Development

Specification and Transformation of Programs : A Formal Approach to Software Development

Barcode: 09783642615122
Brand: Springer Berlin Heidelberg
Best Priced
sold by Hive Books
Hive Books
£38.24
Visit Store
Hive Books
Hive Books
£38.24
Free
Amazon UK
Amazon UK
Search
eBay UK
eBay UK
Search
Our site contains affiliate links, and we may earn a commission for purchases made through these links at no extra cost to you.This helps support our work in bringing you the best price comparisons.

More From Springer Berlin Heidelberg

Information Systems Security : 6th International Conference, ICISS 2010, Gandhinagar, India, December 17-19, 2010
Information Systems Security : 6th International Conference, ICISS 2010, Gandhinagar, India, December 17-19, 2010
from £38.24
Power Grid Complexity
Power Grid Complexity
from £118.58
Transport Systems Telematics : 10th Conference, TST 2010, Katowice - Ustron, Poland, October 20-23, 2010. Selected Papers
Transport Systems Telematics : 10th Conference, TST 2010, Katowice - Ustron, Poland, October 20-23, 2010. Selected Papers
from £76.08
Density Functional Theory : An Advanced Course
Density Functional Theory : An Advanced Course
from £110.08
Preference Learning
Preference Learning
from £118.58
Crystallography : An Introduction
Crystallography : An Introduction
from £50.99
Programming Multi-Agent Systems : 7th International Workshop, ProMAS 2009, Budapest, Hungary, May10-15, 2009.Revised Selected Papers
Programming Multi-Agent Systems : 7th International Workshop, ProMAS 2009, Budapest, Hungary, May10-15, 2009.Revised Selected Papers
from £38.24
Hybrid Learning : Third International Conference, ICHL 2010, Beijing, China, August 16-18, 2010, Proceedings
Hybrid Learning : Third International Conference, ICHL 2010, Beijing, China, August 16-18, 2010, Proceedings
from £76.08
On Collective Intelligence
On Collective Intelligence
from £110.08
Mobile Lightweight Wireless Systems : Second International ICST Conference, Mobilight 2010, May 10-12, 2010, Barcelona, Spain, Revised Selected Papers
Mobile Lightweight Wireless Systems : Second International ICST Conference, Mobilight 2010, May 10-12, 2010, Barcelona, Spain, Revised Selected Papers
from £110.08
Ubiquitous Knowledge Discovery : Challenges, Techniques, Applications
Ubiquitous Knowledge Discovery : Challenges, Techniques, Applications
from £38.24
Modelling Operational Risk Using Bayesian Inference
Modelling Operational Risk Using Bayesian Inference
from £76.08
Mechanics : An Intensive Course
Mechanics : An Intensive Course
from £42.49
Information Hiding : 12th International Conference, IH 2010, Calgary, AB, Canada, June 28-30, 2010, Revised Selected Papers
Information Hiding : 12th International Conference, IH 2010, Calgary, AB, Canada, June 28-30, 2010, Revised Selected Papers
from £38.24
Hybrid Adhesive Joints
Hybrid Adhesive Joints
from £110.08
The Block Cipher Companion
The Block Cipher Companion
from £55.24
Hybrid Metaheuristics : 7th International Workshop, HM 2010, Vienna, Austria, October 1-2, 2010, Proceedings
Hybrid Metaheuristics : 7th International Workshop, HM 2010, Vienna, Austria, October 1-2, 2010, Proceedings
from £38.24
Iridium Catalysis
Iridium Catalysis
from £212.08
Intelligent Mathematics: Computational Analysis
Intelligent Mathematics: Computational Analysis
from £152.58
Provable Security : 4th International Conference, ProvSec 2010, Malacca, Malaysia, October 13-15, 2010, Proceedings
Provable Security : 4th International Conference, ProvSec 2010, Malacca, Malaysia, October 13-15, 2010, Proceedings
from £38.24

Price History

Excluding delivery costs, shows the lowest price over time.

Other Products You Might Like

Foundations of Algebraic Specification and Formal Software Development
Foundations of Algebraic Specification and Formal Software Development
from £59.49
Building Green Software : A Sustainable Approach to Software Development and Operations
Building Green Software : A Sustainable Approach to Software Development and Operations
from £31.25
Algebraic Specification Techniques And Tools For Software Development: The Act Approach
Algebraic Specification Techniques And Tools For Software Development: The Act Approach
from £17.60
Erlang Programming : A Concurrent Approach to Software Development
Erlang Programming : A Concurrent Approach to Software Development
from £21.20
Software Development Measurement Programs : Development, Management and Evolution
Software Development Measurement Programs : Development, Management and Evolution
from £46.74
The Art of Lean Software Development : A Practical and Incremental Approach
The Art of Lean Software Development : A Practical and Incremental Approach
from £20.40
The Art of Lean Software Development : A Practical and Incremental Approach
The Art of Lean Software Development : A Practical and Incremental Approach
from £18.39
Software Specification and Design : An Engineering Approach
Software Specification and Design : An Engineering Approach
from £108.00
Software Specification and Design : An Engineering Approach
Software Specification and Design : An Engineering Approach
from £108.00
Adaptive Software Development : A Collaborative Approach to Managing Complex Systems
Adaptive Software Development : A Collaborative Approach to Managing Complex Systems
from £6.33
Adaptive Software Development : A Collaborative Approach to Managing Complex Systems
Adaptive Software Development : A Collaborative Approach to Managing Complex Systems
from £4.79
A Systematic Approach to Evaluation of Nursing Programs
A Systematic Approach to Evaluation of Nursing Programs
from £26.56
Formal Software Development : From VDM to Java
Formal Software Development : From VDM to Java
from £56.69
Domain Modeling-Based Software Engineering : A Formal Approach
Domain Modeling-Based Software Engineering : A Formal Approach
from £152.58
Head First Software Development : A Learner's Companion to Software Development
Head First Software Development : A Learner's Companion to Software Development
from £25.59
Head First Software Development : A Learner's Companion to Software Development
Head First Software Development : A Learner's Companion to Software Development
from £21.20
Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification
Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification
from £165.75
Outside-in Software Development : A Practical Approach to Building Successful Stakeholder-based Products
Outside-in Software Development : A Practical Approach to Building Successful Stakeholder-based Products
from £14.66
Formal Specification Techniques for Engineering Modular C Programs
Formal Specification Techniques for Engineering Modular C Programs
from £110.08
A Practical Approach to Software Quality
A Practical Approach to Software Quality
from £38.24