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 Gas Accretion onto Galaxies by
Cover of the book Peripheral Ulcerative Keratitis by
Cover of the book Britain and the Dictatorships of Argentina and Chile, 1973–82 by
Cover of the book Osteomyelitis of the Foot and Ankle by
Cover of the book Probes of Multimessenger Astrophysics by
Cover of the book Glass-Ionomers in Dentistry by
Cover of the book Managing Metastatic Prostate Cancer In Your Urological Oncology Practice by
Cover of the book New Models for Sustainable Logistics by
Cover of the book Archaeologies of the British in Latin America by
Cover of the book Bioinformatics for Evolutionary Biologists by
Cover of the book Relativity for Everyone by
Cover of the book Symbols that Bind, Symbols that Divide by
Cover of the book A World History of Higher Education Exchange by
Cover of the book Towards a Compact Thin-Disk-Based Femtosecond XUV Source by
Cover of the book Pre-Analytics of Pathological Specimens in Oncology 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