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
Recent Trends in Data Type Specification
Best Price (Coupon Required):
Buy Recent Trends in Data Type Specification 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
This volume comprises the invited surveys and revised versions of the submitted papers selected for presentation at the 10th Workshop on Specification of Abstract Data Types, held jointly with the 4th COMPASS Workshop in S. Margherita, Italy in June 1994. The volume gives a comprehensive state-of-the-art report of the research activities: besides classical algebraic techniques, other relevant topics are investigated, such as formalisms based on general logics and category theory, type systems for specification languages and new structures for modelling dynamic systems. In addition to four surveys by prominent leaders in the area and 23 papers presenting original research, the book contains an annotated bibliography covering all contributions to the ten editions of the workshop.
Reviews
Questions & Answers
Several Complex Variables
$54.99
Eloquent Virgins
$54.99
The Economic Dimension of Eurasian Integration
$129.00
A Primer on Hilbert Space Theory
$89.99
Evolutionary and Biologically Inspired Music, Sound, Art and Design
$44.99
Green Connected Automated Transportation and Safety
$299.00
Breast Cancer, Fertility Preservation and Reproduction
$39.99
Integrated Models in Production Planning, Inventory, Quality, and Maintenance
$169.00
APCC Special Report: Strukturen fr ein klimafreundliches Leben
$59.99
Promoting Social Justice for Young Children
$109.99
Recent Developments in Nonequilibrium Thermodynamics
$84.99
Beginning PowerShell for SharePoint 2013
$29.99
Analogical and Inductive Inference
$39.99
Nachhaltige Events
$17.99
The Short Narratives of E. M. Forster
$39.99
Grundkurs Politikwissenschaft: Studium der Politischen Systeme
$54.99
Randomness and Elements of Decision Theory Applied to Signals
$99.99
Gerontological Social Work and the Grand Challenges
$79.99
Dynamik im Marketing
$69.99
Grundlagen der Politikwissenschaft
$39.99
The American Civil War in British Culture
$54.99
Proceedings of the International Conference on Advanced Intelligent Systems and Informatics 2020
$219.99
Internationale Wettbewerbsfhigkeit
$69.99
Laser Interaction and Related Plasma Phenomena
$39.99
Seed, Soil, Sun
$6.71
Basic Problems in Burns
$109.99
The Sympathizer (Pulitzer Prize Winner) by Viet Thanh Nguyen
$17.00
New Perspectives on Corporate Social Responsibility
$84.99
China's Global Aspirations and Confucianism
$54.99
Polyamine Protocols
$84.99
Software Engineering - ESEC/FSE '99
$39.99
Materials and Reliability Handbook for Semiconductor Optical and Electron Devices
$329.99
Regulation and Restraint in Contemporary Medicine in the UK and USA
$84.99
RNA Sequence, Structure, and Function: Computational and Bioinformatic Methods
$219.99
Schufadenspannungen beim Weben
$59.99
Physik in Formeln und Tabellen
$69.99
Health Inequity Experienced by Australian Paediatric Patients
$84.99
Towards a Code of Ethics for Artificial Intelligence
$69.99
Beyond the Standard Model Cocktail
$169.00
A ModelTheoretic Approach to Proof Theory
$39.99
