Overview

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.

ISBN-13

9783030232191

ISBN-10

3030232190

Weight

0.60 Pounds

Dimensions

6.10 x 0.43 x 9.25 In

List Price

$54.99

Edition

1st Edition

Format

Paperback

Language

English

Pages

ix, 175 pages

Publisher

Springer

Published On

2019-06-26



View All Offers

Sort by:

Condition
Seller
Seller Comments
Price
Used, Good
Seller details
Bonita
★★★★☆

Santa Clarita, CA, USA

Access codes and supplements are not guaranteed with used items. May be an ex-library book.
$88.58

 Free delivery by: 31 Mar 2026


Bookstores.com relies on cookies to improve your experience.