Copied Recent Trends in Algebraic Development Techniques
Recent Trends in Algebraic Development Techniques
This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Algebraic Development Techniques, WADT 2020, held virtually in April 2020. The 7 revised papers presented together with an invited paper were carefully reviewed and selected from 9 submissions. The contributed presentations covered a range of topics about the algebraic approach to system specification, which encompasses many aspects of the formal design of software systems. Originally born as formal method for reasoning about abstract data types, the algebraic approach now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic, and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed, and mobile systems).
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
Schufadenspannungen beim Weben
$59.99
Called and Queer
$139.99
Populist Discourse in Venezuela and the United States
$54.99
Semiconductor Interfaces: Formation and Properties
$109.99
Rapid Integration of Software Engineering Techniques
$54.99
CSS for Windows 8 App Development
$44.99
Expert System Applications
$84.99
Ferdinand Springer
$69.95
Graph Drawing and Network Visualization
$89.99
Vergleichende Weltliteraturen / Comparative World Literatures
$99.99
Tropical Fruits and Frugivores
$129.00
ESD Program Management
$219.99
Bionic Optimization in Structural Design
$109.99
Statistical Methods in Human Genetics
$139.99
Computation for Metaphors, Analogy, and Agents
$39.99
Football Hooliganism in Europe
$39.99
Handbook of Chlor-Alkali Technology
$429.00
Unbreakable - How I Turned My Depression and Anxiety into Motivation and You Can Too by Jay Glazer
$27.99
Drawing Programs: The Theory and Practice of Schematic Functional Programming
$39.99
Wertpapierrecht
$44.99
Principles and Perspectives in Cosmochemistry
$329.99
Carleson Curves, Muckenhoupt Weights, and Toeplitz Operators
$39.99
Praxishandbuch Word
$59.99
Parasitic Crustacea
$199.99
Beginning PHP and PostgreSQL 8
$39.99
Digital Image Processing for Ophthalmology
$19.99
Handbuch fr Seifenfabrikanten
$69.99
Waters in Peril
$109.99
Rohstoffe fr neue Technologien
$44.99
Research in Family Planning
$39.99
Economics and Ethics
$84.99
Principles and Applications of Magnetic Particle Imaging
$54.99
Aktueller Stand der Thrombolysetherapie
$69.99
Subterranean Politics and Freuds Legacy
$54.99
Ethical Issues in International Communication
$54.99
Couples Transitions to Parenthood
$109.00
Sunny Makes a Splash (Hardcover)
$21.24
On-Orbit Operations Optimization
$39.99
Higher Order Thinking in Science Classrooms: Students Learning and Teachers Professional Developme
$109.99
Recent Trends in Image Processing and Pattern Recognition
$54.99
