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

Algebraic Specification Techniques in Object Oriented Programming Environments

Algebraic Specification Techniques in Object Oriented Programming Environments

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

The main aim of this monograph is to provide a framework for the integrated design of object-oriented programs with algebraic specification techniques. The design method pursued relies fundamentally on the structuring of systems based on the notion of data types. Depending on the level of abstraction, data types are described in an object-oriented way by algebraic specifications or by machine-executable object-oriented programs. The treatment involves two main aspects. First, object-oriented programs have to be related by a notion of correctness that models the transition from specifications to program implementations. The author presents a notion of correctness which relies on the idea of abstraction functions. Second, in order to obtain an integrated design environment, a uniform structuring concept for object oriented programs and algebraic specifications has to be provided. Inheritance, subtyping and clientship are three central notions of object-oriented structuring. Theauthor uses them to develop the kernel of a typed object- oriented programming language. The monograph provides the formal foundation for a unified framework of algebraic specifications and object-oriented programs. A major guideline is the development of a design method supporting the structured design and reuse of software in this environment.

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

Head and Neck Oncology

$219.99

The Iceberg in the Mist: Northern Research in Pursuit of a Little Ice Age

$109.99

Electrical Measurements in the Laboratory Practice

$79.99

Grundwissen Soziale Arbeit

$49.99

Das Controlling-Informationssystem CIS

$59.99

IBD at the End of its First Century

$169.99

Begriffe besetzen

$64.99

Anleitung zur Gesundheitspflege auf Kauffahrteischiffen

$59.99

Music and the Nerves, 1700-1900

$54.99

IT-Controlling

$49.99

Exploring Services Science

$39.99

Innovative Zinspapiere und zinshnliche Anlageprodukte

$49.99

Dependable Network Computing

$219.99

Cost-Benefit Studies of Natural Resource Management in Southeast Asia

$109.99

An Introduction to Tensors and Group Theory for Physicists

$89.99

Moduli of Smoothness

$84.99

Charismatic Christianity

$84.99

Nonlinear Vibration with Control

$84.99

Dynamics in Microwave Chemistry

$129.99

Public Service Media and Policy in Europe

$54.99

Systemversagen im Innovationsprozess

$59.99

Advances in Space Environment Research

$129.00

Krise und Experiment

$59.99

Transformations of Post-Communist States

$84.99

Klingelnberg Technisches Hilfsbuch

$59.99

Ultrasound Scoring of Joint Synovitis

$279.99

The Shakespeare Effect

$54.99

Principles of Enhanced Oil Recovery

$199.99

Fiction written under Oath?

$84.99

The Dynamics of a Terrorist Targeting Process

$64.99

Mobile Methodologies

$99.99

Grundwissen Umweltrecht

$69.95

Sex Chromosomes and Sex-Linked Genes

$99.00

The Danube Swabians

$119.99

Usborne - My Very First.: My Very First Space Book

$3.71

The Palgrave Handbook of the Anthropology of Technology

$199.99

Interaktive NC-Programmierung von Werkstcken mit gekrmmten Flchen

$59.99

New Concepts in the Pathogenesis of NIDDM

$39.99

Centrifugal Materials Processing

$39.99

Spatial Inequalities

$84.99