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 Biomimetic and Biohybrid Systems by
Cover of the book Esophageal Cancer by
Cover of the book Nano-Publics by
Cover of the book Quantum Physics of Light and Matter by
Cover of the book Job Scheduling Strategies for Parallel Processing by
Cover of the book Fractal Apertures in Waveguides, Conducting Screens and Cavities by
Cover of the book Percutaneous Absorption of UV Filters Contained in Sunscreen Cosmetic Products by
Cover of the book Silicon Carbide Nanostructures by
Cover of the book Paris-Princeton Lectures on Mathematical Finance 2013 by
Cover of the book Foresight for Science, Technology and Innovation by
Cover of the book Governance and Performance of Water Utility Firms by
Cover of the book Classroom Assessment in Mathematics by
Cover of the book Critique as Critical History by
Cover of the book Languages, Design Methods, and Tools for Electronic System Design by
Cover of the book Logic Synthesis for FPGA-Based Finite State Machines 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