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 Methodology and Software Technology
Best Price (Coupon Required):
Buy Algebraic Methodology and Software Technology for $76.50 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
|
|
$84.99 | $84.99 |
|
10% OFF
This deals requires coupon
|
$76.50 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, AMAST '96, held in Munich, Germany, in July 1996. The book presents 25 revised full papers selected from a total of 67 submissions and 23 system demonstrations; also included are six invited talks and six invited presentations of the AMAST Education Day on industrial applications of formal methods. The full papers are organized in topical sections on theorem proving, algebraic specification, concurrent and reactive systems, program verification, logic programming and term rewriting, and algebraic and logical foundations.
Reviews
Questions & Answers
The Rise of the Japanese Specialist Manufacturer
$109.99
Autonomic and Enteric Ganglia
$84.99
is for Movement
$7.46
Cross-Cultural Design: Applications in Mobile Interaction, Education, Health, Tarnsport and Cultural
$54.99
Heterogeneity in Macroeconomics and its Implications for Monetary Policy
$54.99
Else Voigtlnder: Self, Emotion, and Sociality
$129.99
Internationales Handbuch der Gewaltforschung
$129.00
Nanomaterials for Liquid Chromatography and Laser Desorption/Ionization Mass Spectrometry
$84.99
Marketing Weiterdenken
$69.99
Engineering Applications of Discrete Element Method
$169.99
Cognitive-Behavior Modification
$249.99
Phantom Democracy
$54.99
Artificial Intelligence and Machine Learning in the Travel Industry
$169.99
What Mommies Do Best: What Aunts Do Best / What Uncles Do Best
$5.21
Arztgeheimnis Datenbanken Datenschutz
$69.99
How Political Actors Use the Media
$129.00
CDMA Techniques for Third Generation Mobile Systems
$169.99
Technische Verbrennungssysteme
$49.99
Physics of Biological Systems
$74.99
Women in Analysis and PDE
$249.99
Selected Topics in Manufacturing
$169.99
Blast Waves
$219.99
Contemporary Research Methods in Neuroanatomy
$84.99
China's Agriculture At the Crossroads
$109.99
Muslim History and Social Theory
$59.99
Colores en el desierto
$3.71
Similitude and Approximation Theory
$84.99
Cellular Fatty Acid-Binding Proteins II
$169.00
Theorie der Wechselstrme
$84.99
Handbook of International Negotiation
$219.99
Evaluation des Aufsichtsrats
$64.99
Stochastic Hydrology and its Use in Water Resources Systems Simulation and Optimization
$39.99
Handbook of School Mental Health
$299.00
Care Loops and Mobilities in Nordic, Central, and Eastern European Welfare States
$99.00
Nitric Oxide in Transplant Rejection and Anti-Tumor Defense
$129.00
Sports Endocrinology
$249.00
Die Minimalperfusion der Lungenstrombahn whrend des kardiopulmonalen Umgehungskreislaufs
$59.99
Microarrays in Inflammation
$169.99
Transactions on High-Performance Embedded Architectures and Compilers IV
$39.99
The ASEAN Regional Security Partnership
$54.99
