Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Algebraic Specification Techniques in Object Oriented Programming Environments
Best Price (Coupon Required):
Buy Algebraic Specification Techniques in Object Oriented Programming Environments for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
A Surgeons Guide to Cardiac Diagnosis
$54.99
Personalized Digital Television
$129.00
Dog Man - Cat Kid Comic Club: El Club de Cmics de Supergatito: Colaboraciones (Hardcover)
$9.74
Artificial Intelligence Applications and Innovations II
$219.99
The House Mouse
$54.99
Politische Bildung in Deutschland
$64.99
Pldoyer fr eine neue Verbraucherpolitik
$59.99
Modeling and Control of Systems in Engineering, Quantum Mechanics, Economics and Biosciences
$39.99
Resource Allocation in Backscatter-Assisted Communication Networks
$54.99
An Atlas of Axial Transverse Tomography and its Clinical Application
$59.99
Innovations in Computer Science and Engineering
$169.99
Esophageal and Gastric Disorders in Infancy and Childhood
$129.00
The Pout-Pout Fish: The Pout-Pout Fish Goes to School
$4.46
Cross-Cultural Reflections on Chinese Aesthetics, Gender, Embodiment and Learning
$54.99
Advanced Optical Imaging Theory
$219.99
Sustained Simulation Performance 2019 and 2020
$199.99
Grundlagen der Dynamik von Hubschrauber-Rotoren
$59.99
FE Computation on Accuracy Fabrication of Ship and Offshore Structure Based on Processing Mechanics
$169.99
Media and the Dissemination of Fear
$169.99
Adaptive Markov Control Processes
$39.99
Boundary Management
$54.99
Foundations of Real and Abstract Analysis
$39.99
Cholescintigraphy
$39.99
Food Security and Land Use Change under Conditions of Climatic Variability
$199.99
Cost-Benefit Analysis and the Theory of Fuzzy Decisions
$169.99
Affordable Housing Finance
$109.99
On the Shoulders of Medicine's Giants
$54.99
Antifolate Drugs in Cancer Therapy
$169.00
Die Nachricht nach Ma
$59.99
My Dad Loves Me! by Marianne Richmond
$7.95
Digital Transformation of Multidisciplinary Design Firms
$64.99
Performance, Ethics and Spectatorship in a Global Age
$109.99
Children and Borders
$109.99
Basic Radiation Oncology
$129.00
Opportunismus und Koordination in teamorientierten Strukturen
$44.99
Pro Freeware and Open Source Solutions for Business
$39.99
Advances in Metaheuristics for Hard Optimization
$169.99
Optimal Control of Switched Systems Arising in Fermentation Processes
$54.99
Adaptive Cryptographic Access Control
$84.99
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
$129.00
