Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Algebraic Methodology and Software Technology

Algebraic Methodology and Software Technology

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540685951
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $84.99 - $84.99
BEST PRICE

Single Product Purchase

$84.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$84.99 $84.99

$84.99
See Site In stock Visit Store

Similar Products

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