Copied Recent Trends in Algebraic Development Techniques
Recent Trends in Algebraic Development Techniques
This book constitutes the thoroughly refereed post-conference proceedings of the 21st International Workshop on Algebraic Development Techniques, WADT 2012, held in June 2012, in Salamanca, Spain. The 16 revised papers presented were carefully reviewed and selected from 25 presentations. The workshop deals with the following topics: foundations of algebraic specification; other approaches to formal specification including process calculi and models of concurrent, distributed and mobile computing; specification languages, methods, and environments; semantics of conceptual modeling methods and techniques; model-driven development; graph transformations, term rewriting and proof systems; integration of formal specification techniques; formal testing and quality assurance; validation, and verification.
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 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Mathematical and Computational Oncology
$54.99
Well-Being in Latin America
$39.99
Freunde in der Zeit des Aufbruchs der Chemie
$59.99
Stem Cells
$169.99
Screening Contemporary Irish Fiction and Drama
$109.99
Steuergerechtigkeit und Gewinnermittlung
$59.99
Outsourcing realisieren
$59.99
Evolutionary Biology: Genome Evolution, Speciation, Coevolution and Origin of Life
$129.00
Proceedings of the International Scientific Conference Smart Nations: Global Trends In The Digital
$169.99
Eisenhower, Macmillan and Allied Unity, 19571961
$54.99
Angiogenesis and Direct Myocardial Revascularization
$169.99
Future Worlds
$84.99
Kanzleimanagement in der Praxis
$54.99
Adaptive, tolerant and efficient composite structures
$109.99
Empathy and Violent Video Games
$54.99
State, Politics, and Social Classes
$99.00
Laparoscopic Surgery
$54.99
Algebraic Methods in Nonlinear Perturbation Theory
$109.99
Authenticity in Architectural Heritage Conservation
$84.99
Dynamic Organisations
$54.99
Comprehensive Healthcare Simulation: ECMO Simulation
$129.99
Perspectives on Teacher Education in the Digital Age
$179.99
Masaccios Zinsgroschen
$59.99
Dynamics of Forest Insect Populations
$219.99
Pandemic Risk Management in Operations and Finance
$99.99
Psychologie in Notfallmedizin und Rettungsdienst
$69.99
Juristische Logik
$74.99
Funktionale Schadensbewertung
$54.99
Die Berechnung der Sohldruckverteilung unter Grndungskrpern
$54.99
Quantum Technology for Economists
$109.99
A Critical Inquiry into Queer Utopias
$109.99
Principles and Applications of Up-converting Phosphor Technology
$84.99
The State Economic Handbook 2010
$109.99
The Economics of Big Science
$109.99
The Dialogue between Higher Education Research and Practice
$109.99
Countering Counterfeit Trade
$54.99
Europa - politisches Einigungswerk und gesellschaftliche Entwicklung
$19.99
The Relation of Cobordism to K-Theories
$29.99
Reasoning Web
$63.00
Marginal(ized) Prospects through Biblical Ritual and Law
$99.99
