Recent Trends in Algebraic Development Techniques

24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers

Nonfiction, Computers, General Computing, Programming
Cover of the book Recent Trends in Algebraic Development Techniques by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783030232207
Publisher: Springer International Publishing Publication: June 25, 2019
Imprint: Springer Language: English
Author:
ISBN: 9783030232207
Publisher: Springer International Publishing
Publication: June 25, 2019
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer International Publishing

Cover of the book Functional Verification of Dynamically Reconfigurable FPGA-based Systems by
Cover of the book Particles and Astrophysics by
Cover of the book On the Direct Detection of 229m Th by
Cover of the book Queens Matter in Early Modern Studies by
Cover of the book Stochastic Partial Differential Equations: An Introduction by
Cover of the book Reliability Design of Mechanical Systems by
Cover of the book Salinity Responses and Tolerance in Plants, Volume 1 by
Cover of the book Therapeutic rTMS in Neurology by
Cover of the book Acute Nephrology for the Critical Care Physician by
Cover of the book Mathematics and Technology by
Cover of the book Spatial Mobility, Migration, and Living Arrangements by
Cover of the book A Philosophy of Schooling by
Cover of the book Nanotechnology for Bioenergy and Biofuel Production by
Cover of the book Optimal Control Problems Arising in Forest Management by
Cover of the book Fluorescence Studies of Polymer Containing Systems by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy