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

Modular Specification and Verification of Object-Oriented Programs

Modular Specification and Verification of Object-Oriented Programs

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

Software systems play an increasingly important role in modern societies. Smart cards for personal identi?cation, e-banking, software-controlled me- cal tools, airbags in cars, and autopilots for aircraft control are only some examples that illustrate how everyday life depends on the good behavior of software. Consequently, techniques and methods for the development of hi- quality, dependable software systems are a central research topic in computer science. A fundamental approach to this area is to use formal speci?cation and veri?cation. Speci?cation languages allow one to describe the crucial p- perties of software systems in an abstract, mathematically precise, and implementation-independent way. By formal veri?cation, one can then prove that an implementation really has the desired, speci?ed properties. Although this formal methods approach has been a research topic for more than 30 years, its practical success is still restricted to domains in which devel- ment costs are of minor importance. Two aspects are crucial to widen the application area of formal methods: Formal speci?cation techniques have to be smoothly integrated into the software and program development process. The techniques have to be applicable to reusable software components. This way, the quality gain can be exploited for more than one system, thereby justifying the higher development costs. Starting from these considerations, Peter Muller has developed new te- niques for the formal speci?cation and veri?cation of object-oriented so- ware. The speci?cation techniques are declarative and implementati- independent. They can be used for object-oriented design and programming.

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

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Policy-Integration und Nachhaltigkeit

$79.99

Government and Change in Lesotho, 18001966

$44.99

The Evolution of the Primate Hand

$249.99

Recent Advances in Coronary Circulation

$39.99

In the Realm of Legal and Moral Philosophy

$109.99

Pathologische Anatomie und Histologie der Vergiftungen

$59.99

Semiconductors

$259.00

Situating Social Practices in Community Energy Projects

$39.99

Tadpole - Safari Babies: Zebra Foals

$5.21

Jagdliches Eigentum

$119.99

Mathematik la Carte

$37.99

The Lion, the Witch and the Wardrobe

$6.71

Analytische Familien affinoider Algebren

$69.99

Grndungsintention von Akademikern

$69.99

Arbeitsteilige Auftragsabwicklung in der Transportkette

$64.99

The Neuropsychology of Language

$39.99

Freshwaters of Alaska

$129.00

Klein aber fein!

$59.99

Competition and Cooperation in Neural Nets

$54.99

Fire Hazard and Fire Resistance of Wooden Structures

$199.99

Catholics and US Politics After the 2020 Elections

$119.00

Jahr der Wandlung

$59.99

Device Physics of Narrow Gap Semiconductors

$129.00

Junge queere Menschen im bergang von Schule in Ausbildung und Beruf

$79.99

Teaching the Gothic

$54.99

Urbanization and Regional Sustainability in South Asia

$84.99

Untersuchungen zur Nierenlangzeitkonservierung im Experiment am Miniaturschwein

$59.99

Physikalisch-Chemische Probleme in der Chirurgie

$59.99

Qu ests haciendo?

$5.21

AppleScript

$59.99

Topology and Geometry in Physics

$39.99

Handbuch Metechnik und Qualittssicherung

$84.99

Werksttten

$49.99

Magic Pickle: Magic Pickle and the Roots of Doom

$9.74

Basic Income in Korea and Beyond

$139.00

Functional Analysis on the Eve of the 21st Century

$84.99

Quantum Technology and Optimization Problems

$84.99

Algorithms for Next Generation Networks

$129.00

Liebe kulturbergreifend betrachtet

$59.99

Die Dritte Welle der Mobilkommunikation

$39.99