Copied Recent Trends in Algebraic Development Techniques
Recent Trends in Algebraic Development Techniques
This book constitutes the thoroughly refereed post-conference proceedings of the 24th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2018, held in Egham, UK in July 2018. The 9 revised papers presented were carefully reviewed and selected from 13 submissions. The contributed presentations covered a range of topics: specification and modelling languages such as CASL, Event-B, Maude, MMT, and SRML; foundations of system specification such as graph transformation, categorical semantics, fuzzy and temporal logics, institutions, module systems and parameterization, refinement, static analysis, and substitutions; and applications including categorical programming, communicating finite state machines, neuralsymbolic integration, relational databases, and service-oriented computing.
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
Rhizosphere Biology: Interactions Between Microbes and Plants
$199.99
Sepsis
$89.00
Applied Number Theory
$59.99
Proceedings of the Canadian Society for Civil Engineering Annual Conference 2023, Volume 7
$299.99
Nomaden, Flaneure, Vagabunden
$39.99
A Corpus of Rembrandt Paintings V
$429.00
Produktmodifikation
$49.99
Inklusion fr Menschen mit Demenz
$54.99
Echocardiography in ICU
$99.99
Pathophysiology of Plasma Protein Metabolism
$39.99
Elektronische Bauelemente der Nachrichtentechnik
$89.99
Quantum Hybrid Electronics and Materials
$169.99
Freedom of Information Law and Good Governance
$169.99
Evolving Strategies and Tactics in Membrane Research
$74.99
MAP Kinases in Plant Signal Transduction
$84.99
Macroeconomic Policy in the Canadian Economy
$84.99
Local Induction
$39.99
Proceedings of the World Conference on Intelligent and 3-D Technologies (WCI3DT 2022)
$249.99
Languages for Digital Embedded Systems
$169.99
Deinstitutionalisation and After
$119.99
Tuning for Economy
$54.99
Kompetente Mitarbeiter und wandlungsfhige Organisationen
$74.99
A Beginners Guide to Python 3 Programming
$49.99
Donaldson Type Invariants for Algebraic Surfaces
$39.99
Facets of the Conflict in Northern Ireland
$84.99
Therapeutic Alliances with Families
$84.99
Agenda Dynamics in Spain
$54.99
Die deutsche Post im Weltpostverein und im Wechselverkehr
$69.99
Chemische Ingenieur-Technik
$59.99
Secondary Mitral Valve Regurgitation
$84.99
Middle-Class Blacks in Britain
$84.99
Grundlagen der virtuellen Realitt
$79.99
Value-Based Performance Management
$34.99
Venus and Mercury, and How to Observe Them
$34.99
Designing the European Model
$84.99
Collision Theory and Statistical Theory of Chemical Reactions
$54.99
Practical ECG Holter
$99.99
Physik mit Bleistift
$44.99
Pigments in Vegetables
$219.99
Atmospheric Flight in the Twentieth Century
$299.99
