Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Verification of Object-Oriented Software. The KeY Approach

Verification of Object-Oriented Software. The KeY Approach

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540690610
Condition
New
Product Description

Long gone are the days when program veri?cation was a task carried out merely by hand with paper and pen. For one, we are increasingly interested in proving actual program artifacts, not just abstractions thereof or core algorithms. The programs we want to verify today are thus longer, including whole classes and modules. As we consider larger programs, the number of cases to be considered in a proof increases. The creative and insightful parts of a proof can easily be lost in scores of mundane cases. Another problem with paper-and-pen proofs is that the features of the programming languages we employ in these programs are plentiful, including object-oriented organizations of data, facilities for specifying di?erent c- trol ?ow for rare situations, constructs for iterating over the elements of a collection, and the grouping together of operations into atomic transactions. These language features were designed to facilitate simpler and more natural encodings of programs, and ideally they are accompanied by simpler proof rules. But the variety and increased number of these features make it harder to remember all that needs to be proved about their uses. As a third problem, we have come to expect a higher degree of rigor from our proofs. A proof carried out or replayed by a machine somehow gets more credibility than one that requires human intellect to understand.

Available Colors
Available Sizes
1 Offer Price Range: $84.99 - $84.99
BEST PRICE

Single Product Purchase

$76.50
@ Link.springer.com with extra coupon Get Coupon & BUY

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$84.99 $84.99

10% OFF
This deals requires coupon Get Code Here
$76.50
See Site In stock Visit Store

Similar Products

Die Wirklichkeit der Wahrheit

$79.99

Hypertension and 24-hour Ambulatory Blood Pressure Monitoring

$44.99

Advances in Mechanical Engineering

$249.99

Advanced Fuzzy Systems Design and Applications

$109.99

Economic and Financial Market Behaviour

$139.99

Examining Torture

$54.99

Polymer Based Systems on Tissue Engineering, Replacement and Regeneration

$109.99

Punchdrunk on the Classics

$119.99

Yearbook of Morphology 1991

$109.99

Additive Number Theory

$84.99

Overcoming Polarization in the Public Square

$99.99

Think Tanks

$39.99

The Rebirth of Italian Communism, 194344

$139.99

Artificial Intelligence Governance and the Blockchain Revolution

$139.99

The Palgrave Handbook of Gender and Healthcare

$69.99

Craniofacial Anomalies

$84.99

Der Springer-Verlag

$69.99

Premarital Prediction of Marital Quality or Breakup

$84.99

Advances in Multimedia Information Processing -- PCM 2015

$39.99

Teleneurology by Internet and Telephone

$109.99

Grundlagen der Wahrscheinlichkeitsrechnung und der Theorie der Beobachtungsfehler

$44.99

Jahrbuch Jugendforschung

$69.99

Arbeitsbuch Marketing

$64.99

Management von Gesundheitsregionen I

$49.99

Reservoir Rock Diagnostics for Water or Hydrocarbon Exploration

$109.99

Krise und Zukunft des Sozialstaates

$59.99

Energy Conversion and Management

$109.99

Kundenempfehlungen als Marketinginstrument

$74.99

Nanomaterials for Environmental and Agricultural Sectors

$179.99

Zeolite-Type Crystal Structures and their Chemistry. 41 New Framework Type Codes

$549.99

Marion and Derrida on The Gift and Desire: Debating the Generosity of Things

$109.99

Aufgabenbezogene Leistung in ERP-gesttzten Arbeitsprozessen

$69.99

High Temperature Superconductivity 1

$219.99

Die BGB. Klausur

$59.99

The Digitization of Healthcare

$99.00

Mammary Gland Transgenesis: Therapeutic Protein Production

$54.99

Das britische Regierungssystem

$59.99

Plasmaderivate in der Therapie mit Blutkomponenten

$59.99

Neural Information Processing

$54.99

Machine Learning with Quantum Computers

$109.00