Copied Algebraic Methodology and Software Technology
Algebraic Methodology and Software Technology
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.
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 |
|
$84.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Khler-Einstein Metrics and Integral Invariants
$19.99
Flle und Entscheidungen zum Versicherungsrecht
$59.99
Confronting Genocide
$169.99
Cloud-Service-Zertifizierung
$29.99
Japanese Agriculture Under Siege
$39.99
Multi-Ethnic Metropolis: Patterns and Policies
$109.99
Teaching Ecocriticism and Green Cultural Studies
$109.99
Cyclin Dependent Kinase 5 (Cdk5)
$169.99
Psychology and Covid-19 the Americas
$159.99
Audiobiografie und Hrerleben
$17.99
Heat Shock Factor
$169.99
The Literacy Approach to Teaching Foreign Languages
$39.99
Food Analysis
$64.99
Parallel Processing and Applied Mathematics
$54.99
Der bergang von der Schule in die berufliche Ausbildung
$49.99
Citation-based Plagiarism Detection
$54.99
Explainable Artificial Intelligence
$89.99
Mikroskopischer Farbatlas pflanzlicher Drogen
$64.99
Examples to Extremum and Variational Principles in Mechanics
$54.99
Creating Resilient Futures
$59.99
The Changing Experience of Employment
$129.00
Hybrid Self-Organizing Modeling Systems
$129.00
Progress in Vehicle Aerodynamics and Thermal Management
$129.00
Principles of Primary Total Hip Arthroplasty
$169.99
Algebra and its Applications
$169.99
Linear Algebra
$69.99
On Rousseau
$49.99
Computational Science - ICCS 2001
$84.99
You Are My Sweetheart
$5.24
Computer Studies of Phase Transitions and Critical Phenomena
$39.99
Advanced Intelligent Computing Technology and Applications
$79.99
Female Bladder Outlet Obstruction and Urethral Reconstruction
$169.99
Arbeitsrecht in Schweden
$49.99
Environmental Modeling Using Satellite Imaging and Dataset Re-processing
$84.99
Learning Mathematics
$109.99
Growth Curve and Structural Equation Modeling
$169.99
Untersuchungen zur vereinfachten Zwangskommutierung von Thyristoren unter Verwendung von Leistungstr
$69.99
Local Pattern Detection
$54.99
Variable Neighborhood Search
$69.99
Social Justice in Practice
$109.99
