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
Richterbilder
$59.99
Polycrystalline Silicon for Integrated Circuits and Displays
$249.99
PCR - Polymerase-Kettenreaktion
$74.99
Microneedles for Transdermal Drug Delivery
$109.99
Delphi-Befragungen
$39.99
Modern Techniques of Rice Crop Production
$169.00
Performance Evaluation Software
$54.99
Schools for Health and Sustainability
$109.99
IR
$39.99
Cat Ninja- Wanted by Matthew Cody
$12.99
Kategorisierungseffekte
$49.99
Lehrerinnen in System und Lebenswelt
$59.99
Handbook of Consultation-Liaison Psychiatry
$139.00
3D ohne 3D-Brille
$39.99
Datenanalyse mit SPSS fr Fortgeschrittene
$19.99
Philosophy and Psychology of Time
$39.99
Advances in Distributed Computing and Machine Learning
$169.99
The Banks and the Italian Economy
$139.00
Candida Species
$84.99
Inventing India
$169.99
Proceedings of the 1985 Academy of Marketing Science (AMS) Annual Conference
$84.99
Indigenous Language Media, Language Politics and Democracy in Africa
$119.99
Reflexion des Rechts Beitrge zur responsiven Rechtssoziologie
$39.99
Logic Programming with Prolog
$49.99
Positional Therapy in Obstructive Sleep Apnea
$109.99
Creative Industries in Greece
$54.99
Technologie, sozialer Wandel und menschliches Verhalten
$49.99
Familien im Kinderschutz Resilienz- und Risikofaktoren
$19.99
Domain Modeling and the Duration Calculus
$39.99
ADEX Optimized Adaptive Controllers and Systems
$169.99
Children and the Capability Approach
$84.99
Algebra of Conscience
$249.99
Just For You! Level 1: The Low-Down, Bad-Day Blues
$2.99
Handbuch Unternehmensorganisation
$299.99
Funktionale Programmierung
$34.99
Iron
$169.00
Lexikon der Elektronik
$84.99
Erzhlungen im ffentlichen
$64.99
Layeredness in Materials
$129.99
Wechselrderberechnung fr Drehbnke
$49.99
