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

Epigenetik

$49.99

From Charity to Justice

$159.99

Critical Minerals, the Climate Crisis and the Tech Imperium

$129.99

Non-equilibrium Transport of Non-uniform Suspended Load

$199.99

The Journey of Little Charlie (Hardcover)

$14.99

An Evelyn Waugh Chronology

$84.99

An Examination of Black LGBT Populations Across the United States

$54.99

Information Security

$89.99

Plasticity

$74.99

Spektralanalytische Untersuchungen von Haarfarben

$59.99

Umweltschutz in der schlanken Produktion

$58.00

A Psycholinguistic Perspective on Finnish and Japanese Prosody

$84.99

Rainbow of Computer Science

$39.99

Analysis of Post-Translational Modifications and Proteolysis in Neuroscience

$109.99

Physics and Contemporary Needs

$39.99

Conscious Dwelling

$169.99

Chemical and Physical Behavior of Human Hair

$329.99

Codes, Graphs, and Systems

$169.99

Textbook of Medical Administration and Leadership

$159.99

Satellite Remote Sensing

$149.00

Supramolecular Polymer Networks and Gels

$219.99

Thawing Permafrost

$199.99

Geoecology of Antarctic Ice-Free Coastal Landscapes

$129.00

Interfacial Processes and Molecular Aggregation of Surfactants

$219.99

Brain Dopaminergic Systems: Imaging with Positron Tomography

$84.99

Assessment of the Nuclear Programs of Iran and North Korea

$84.99

Nanostructuring for Nitride Light-Emitting Diodes and Optical Cavities

$54.99

DNA Information: Laws of Perception

$54.99

Social Choice Theory

$54.99

The Knowledge Growth Regime

$59.99

Verhandlungsbericht der Deutschen Gesellschaft fr Urologie

$59.99

Der Verkauf von Konzernunternehmen durch Management Buy-Out

$49.99

Residual Stresses and Nanoindentation Testing of Films and Coatings

$159.99

Mindfulness and Educating Citizens for Everyday Life

$39.99

An Introduction to Signal Detection and Estimation

$119.99

China and Africa

$179.99

SQL Server Big Data Clusters

$39.99

Hamstring and Quadriceps Injuries in Athletes

$39.99

Zrtlichkeit und Aggressivitt

$89.99

The Surgery-First Orthognathic Approach

$129.99