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

Urban Drought

$139.99

Scholastic Reader! Science Level 1-I Am: I'm a Caterpillar

$2.99

Embedded Systems Interfacing for Engineers using the Freescale HCS08 Microcontroller II

$29.99

Image Analysis and Processing - ICIAP 2017

$54.99

New Thinking in GIScience

$149.00

Strategien der extremen Rechten

$54.99

Approximation by Multivariate Singular Integrals

$49.95

Identity and Global Politics

$54.99

Unqualified and Underemployed

$39.99

Spanische Erinnerungskultur

$59.99

Xenobiotic Metabolic Enzymes: Bioactivation and Antioxidant Defense

$129.00

Design, User Experience, and Usability: Technological Contexts

$54.99

Financial Literacy Grades 3-5

$44.00

And in Length of Days Understanding (Job 12:12)

$449.99

Mathematische Charakterisierung und Bewertung elektromagnetischer Senderanordnungen

$59.99

SmartData

$169.99

Betriebswirtschaft und Sekretariat

$29.99

The Development of Blockchain Technology

$29.99

Finanzmathematik

$29.95

Aufdeckungsprozesse mnnlicher Betroffener von sexualisierter Gewalt in Kindheit und Jugend

$64.99

Transportmanagement

$44.99

Field Theoretical Tools for Polymer and Particle Physics

$69.95

Advanced Design Problems in Aerospace Engineering

$129.00

ko-intelligentes Produzieren und Konsumieren

$49.99

Port Cities and Global Legacies

$54.99

Qualittskontrolle in der Fertigungsindustrie mit Hilfe von EDV-Anlagen

$59.99

Nephrocalcinosis Calcium Antagonists and Kidney

$39.99

Resilienzfrderung an der Schule

$49.99

The Human Respiratory System

$139.00

The German Continental Deep Drilling Program (KTB)

$84.99

What You See Is What You Hear

$54.99

Krperorientierte Psychotherapie

$64.99

Elektromagnetische Wellen

$44.99

The Vector Mode in the Second-order Cosmological Perturbation Theory

$84.99

Global Finance at Risk

$109.99

The Russian Civil War

$59.99

Detection of Random Signals in Dependent Gaussian Noise

$169.99

DDT: The Insecticide Dichlorodiphenyltrichloroethane and Its Significance / Das Insektizid Dichlordi

$54.99

UNIX-Systemadministration

$69.99

Plant Epigenetics

$299.99