Verification of Object-Oriented Software. The KeY Approach : Foreword by K. Rustan M. Leino

Verification of Object-Oriented Software. The KeY Approach : Foreword by K. Rustan M. Leino

Verification of Object-Oriented Software. The KeY Approach : Foreword by K. Rustan M. Leino

Barcode: 09783540690610
Brand: Springer Berlin Heidelberg
Best Priced
sold by Hive Books
Hive Books
£76.08
Visit Store
Hive Books
Hive Books
£76.08
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

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
Transport in Plants III : Intracellular Interactions and Transport Processes
Transport in Plants III : Intracellular Interactions and Transport Processes
from £76.08
Current Topics in Microbiology and Immunology / Ergebnisse der Mikrobiologie und Immunitatsforschung : Volume 74
Current Topics in Microbiology and Immunology / Ergebnisse der Mikrobiologie und Immunitatsforschung : Volume 74
from £76.08
Experimental Myopathies and Muscular Dystrophy : Studies in the Formal Pathogenesis of the Myopathy of 2,4-Dichlorophenoxyacetate
Experimental Myopathies and Muscular Dystrophy : Studies in the Formal Pathogenesis of the Myopathy of 2,4-Dichlorophenoxyacetate
from £76.08
Internment in Concentration Camps and Its Consequences
Internment in Concentration Camps and Its Consequences
from £38.24
Land Use in Advancing Agriculture
Land Use in Advancing Agriculture
from £76.08
Muscle Receptors
Muscle Receptors
from £76.08
The Early Life History of Fish : The Proceedings of an International Symposium Held at the Dunstaffnage Marine Research Laboratory of the Scottish Marine Biological Association at Oban, Scotland, from
The Early Life History of Fish : The Proceedings of an International Symposium Held at the Dunstaffnage Marine Research Laboratory of the Scottish Marine Biological Association at Oban, Scotland, from
from £110.08
Auditory System : Anatomy Physiology (Ear)
Auditory System : Anatomy Physiology (Ear)
from £76.08
Current Topics in Microbiology and Immunology / Ergebnisse der Mikrobiologie und Immunitatsforschung
Current Topics in Microbiology and Immunology / Ergebnisse der Mikrobiologie und Immunitatsforschung
from £76.08
Approximation of Functions of Several Variables and Imbedding Theorems
Approximation of Functions of Several Variables and Imbedding Theorems
from £67.58
The Measurement of Verbal Information in Psychology and Education
The Measurement of Verbal Information in Psychology and Education
from £38.24
Valuation Theory
Valuation Theory
from £38.24
Satellite Beacons Observations from 1964 to 1970
Satellite Beacons Observations from 1964 to 1970
from £76.08
Air Instrument Surgery : Vol. 2: Orthopedics
Air Instrument Surgery : Vol. 2: Orthopedics
from £76.08
Central Processing of Visual Information A: Integrative Functions and Comparative Data
Central Processing of Visual Information A: Integrative Functions and Comparative Data
from £110.08
Pathophysiology of Muscle Tone
Pathophysiology of Muscle Tone
from £76.08
Physiology of Photoreceptor Organs
Physiology of Photoreceptor Organs
from £110.08

Price History

Excluding delivery costs, shows the lowest price over time.

Other Products You Might Like

Modular Specification and Verification of Object-Oriented Programs
Modular Specification and Verification of Object-Oriented Programs
from £38.24
Growing Object-Oriented Software, Guided by Tests
Growing Object-Oriented Software, Guided by Tests
from £39.75
Growing Object-Oriented Software, Guided by Tests
Growing Object-Oriented Software, Guided by Tests
from £28.79
Growing Object-Oriented Software, Guided by Tests
Growing Object-Oriented Software, Guided by Tests
from £19.19
Object-Oriented Software Engineering with UML: A Hands-On Approach
Object-Oriented Software Engineering with UML: A Hands-On Approach
from £195.50
Structured Finance : The Object Oriented Approach
Structured Finance : The Object Oriented Approach
from £59.50
Scientific Software Design : The Object-Oriented Way
Scientific Software Design : The Object-Oriented Way
from £57.79
Object-Oriented Software in C++
Object-Oriented Software in C++
from £38.24
Design Patterns : Elements of Reusable Object-Oriented Software
Design Patterns : Elements of Reusable Object-Oriented Software
from £42.95
Design Patterns : Elements of Reusable Object-Oriented Software
Design Patterns : Elements of Reusable Object-Oriented Software
from £19.19
Beginning Java Programming : The Object-Oriented Approach
Beginning Java Programming : The Object-Oriented Approach
from £23.40
Beginning Java Programming : The Object-Oriented Approach
Beginning Java Programming : The Object-Oriented Approach
from £23.40
Object-Oriented Metrics in Practice : Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems
Object-Oriented Metrics in Practice : Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems
from £46.74
Object-Oriented Software Design in C++
Object-Oriented Software Design in C++
from £26.99
Object-Oriented Software Design in C++
Object-Oriented Software Design in C++
from £43.65
Object-oriented Software for Manufacturing Systems
Object-oriented Software for Manufacturing Systems
from £38.24
Object-oriented Software: Design And Maintenance
Object-oriented Software: Design And Maintenance
from £21.60
Software Engineering Techniques Applied to Agricultural Systems : An Object-Oriented and UML Approach
Software Engineering Techniques Applied to Agricultural Systems : An Object-Oriented and UML Approach
from £96.05
Software Engineering Techniques Applied to Agricultural Systems : An Object-Oriented and UML Approach
Software Engineering Techniques Applied to Agricultural Systems : An Object-Oriented and UML Approach
from £76.08
Formal Verification of Object-Oriented Software : International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
Formal Verification of Object-Oriented Software : International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
from £33.99