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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Screening for Depression and Other Psychological Problems in Diabetes
$39.99
Structure-Preserving Algorithms for Oscillatory Differential Equations
$84.99
Grundzge des Internationalen Steuerrechts
$54.99
Modern Iran in Perspective
$54.99
Die Angestellten in der hochindustrialisierten Gesellschaft
$59.99
Die Steuerbelastung der Unternehmung
$49.99
Traumatology of the Skull Base
$139.00
India's and China's Recent Experience with Reform and Growth
$109.99
Blockbuster Book of Crosswords 1 by Rich Norris
$16.99
Global Analysis - Studies and Applications IV
$34.99
Krisensemantik
$39.99
Rosie's Walk (Hardcover)
$17.99
Hardy Type Inequalities on Time Scales
$119.99
Ergebnisse der Adriamycin-Therapie
$44.99
A Consumer's Guide to Archaeological Science
$109.99
Netzwerkanalyse, Netzwerksynthese und Leitungstheorie
$44.99
The Human Hippocampus
$199.99
Japanese Agriculture Under Siege
$39.99
Microglia
$169.99
Comprehensive Virology Volume 13: Structure and Assembly
$54.99
Artificial Intelligence/Machine Learning in Nuclear Medicine and Hybrid Imaging
$129.99
The Celtic Tiger in Distress
$84.99
The Greens in British Politics
$44.99
Ecophysiology of Amphibians Inhabiting Xeric Environments
$169.99
Thermal Biosensors Bioactivity Bioaffinity
$169.00
Intravascular Imaging and Computer Assisted Stenting and Large-Scale Annotation of Biomedical Data a
$54.99
Complex Networks
$39.99
Advanced Informatics for Computing Research
$54.99
An Introduction to Actuarial Mathematics
$109.99
Alltagscoaching 360
$29.99
Plant Biotechnology and Molecular Markers
$39.99
Bioinstrumentation
$29.99
Advances in Computing Applications
$84.99
Toward Structural Mechanics Through Wooden Bridges in France (1716-1841)
$39.99
Advances in the Complex Variable Boundary Element Method
$169.99
Snow Day
$5.21
Der Buchmarkt als Kommunikationsraum
$49.99
Atlas of Sarcoidosis
$169.00
User Interface Design of Digital Textbooks
$39.99
The International Political Economy of Work and Employability
$39.99
