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
How to Fulfil the UN Sustainability Goals
$169.99
Primary Aldosteronism
$169.99
Success for College Students with Learning Disabilities
$39.99
The Underworld of Rural China
$139.99
Temperament
$64.99
Modeling and Simulation in Engineering, Economics and Management
$39.99
Partnerschaft und Sexualitt im Alter
$64.99
Moritz Schlick. Frhe erkenntnistheoretische Schriften
$179.99
Say Something (Hardcover)
$13.49
Project Analysis in Developing Countries
$59.99
Handbuch Europa in Nordrhein-Westfalen
$79.99
Big Data Technologies and Applications
$60.00
Bremsen in Personenkraftwagen
$24.99
The Hero in Contemporary American Fiction
$54.99
Parallel Processing and Applied Mathematics, Part II
$39.99
Vertriebscontrolling
$69.99
Control Systems Design
$169.99
Image Analysis and Recognition
$79.99
Gold-Catalyzed Cycloisomerization Reactions Through Activation of Alkynes
$84.99
Earthquake Processes: Physical Modelling, Numerical Simulation and Data Analysis Part I
$54.99
Web Mining: From Web to Semantic Web
$54.99
CMOS VLSI Engineering
$169.99
Airways Smooth Muscle: Development, and Regulation of Contractility
$84.99
Leichte Dampfantriebe an Land, zur See, in der Luft
$59.99
Netzberechnung mit Erzeugungsprofilen
$69.99
American President
$44.99
Verstehen und Verstndigung in einer vernderten Welt
$39.99
Finanzierungspraxis von Biogasanlagen in der Landwirtschaft
$64.99
Designing Human Interface in Speech Technology
$84.99
The Holocene and Anthropocene Environmental History of Mexico
$169.99
AI-Empowered Knowledge Management in Education
$34.99
Dao Companion to Chinese Buddhist Philosophy
$199.99
Mediators of Inflammation
$39.99
Exercises in Computational Mathematics with MATLAB
$39.99
Symmetry and Economic Invariance: An Introduction
$109.99
Statistical Modeling for Computer-Aided Design of MOS VLSI Circuits
$84.99
Informationsvermittlung
$59.99
Kapitalismus und Moderne
$69.99
Koordination mit Verrechnungspreisen
$49.99
Oracle Database 12c Performance Tuning Recipes
$99.99
