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

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

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

Similar Products

Konzeptuelle Datenmodellierung

$49.99

Zwischenstadt

$54.99

Gemeinden in der Schul-Governance der Schweiz

$64.99

Royalism, War and Popular Politics in the Age of Revolutions, 1780s-1870s

$99.00

Trends in Applied Knowledge-Based Systems and Data Science

$109.99

Inverse Abdominoplasty

$84.99

Miles Morales: Spider-Man Graphic: Stranger Tides

$9.74

Painting

$3.71

Forschungskoordination

$39.99

Die chemische Betriebskontrolle in der Zellstoff- und Papier-Industrie und anderen Zellstoff verarbe

$59.99

Linguistically Motivated Statistical Machine Translation

$54.99

Pelgrane Press - Suburban Consumption of The Monstrous Rpg Book

$42.99

Systematische Auslegung von Karosseriekonzepten hinsichtlich minimaler Umweltwirkungen in einer frh

$74.99

Microwave Electronic Devices

$169.99

Fracture at High Temperatures

$109.99

Atlas of Human Reproduction

$109.99

Ultimate Read-Aloud Collection Grade 3-5

$1,647.00

Politik aus christlicher Verantwortung

$49.99

Plant Signaling Peptides

$169.99

8th EAI International Conference on Management of Manufacturing Systems

$219.99

Arctic Sea Ice Ecology

$99.99

The Social Equality of Religion or Belief

$109.99

kophysik

$69.99

Applied Bayesian Statistics

$79.99

Security Problems and Policies in the Post-Cold War Caribbean

$84.99

Poisson Hyperplane Tessellations

$79.99

Besser Billiger Mehr

$24.99

Management of Facial Asymmetry

$159.99

Japanese Influence on American Children's Television

$89.99

Corporate Social Responsibility in the Global Business World

$109.99

Software Development Measurement Programs

$54.99

Umweltschutz und Unternehmensfhrung

$39.99

The Importance of Animal Experimentation for Safety and Biomedical Research

$169.99

Karl Marx ber Maschinerie, Kapital und industrielle Revolution

$44.99

Secure IT Systems

$119.99

Dirty Hands

$79.99

Lecture Notes in Data Engineering, Computational Intelligence, and Decision Making

$129.00

Ivy and Bean and the Ghost That Had to Go

$4.46

Intelligent and Fuzzy Systems

$149.00

Reliability and Risk Analysis in Engineering and Medicine

$54.99