Produktnummer:
183834b07f02de491781a2aee6e935d812
| Themengebiete: | CASL Event-B MMT Maude communicating finite state machines fuzzy logics graph transformation module parameterization module systems temporal logics |
|---|---|
| Veröffentlichungsdatum: | 26.06.2019 |
| EAN: | 9783030232191 |
| Sprache: | Englisch |
| Seitenzahl: | 175 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | ?u?u, Ionu? Fiadeiro, José Luiz |
| Verlag: | Springer International Publishing |
| Untertitel: | 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers |
Produktinformationen "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, neuralsymbolicintegration, relational databases, and service-oriented computing.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen