Recent Trends in Algebraic Development Techniques / Lecture Notes in Computer Science Bd.11563 (PDF)
24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers
(Sprache: Englisch)
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...
The 9 revised papers presented were carefully...
sofort als Download lieferbar
Printausgabe Fr. 59.90
eBook (pdf)
Fr. 59.00
inkl. MwSt.
- Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Recent Trends in Algebraic Development Techniques / Lecture Notes in Computer Science Bd.11563 (PDF)“
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
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.
Bibliographische Angaben
- 2019, 1st ed. 2019, 175 Seiten, Englisch
- Herausgegeben: José Luiz Fiadeiro, Ionu¿ ¿U¿U
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3030232204
- ISBN-13: 9783030232207
- Erscheinungsdatum: 25.06.2019
Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Grösse: 7.56 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Recent Trends in Algebraic Development Techniques / Lecture Notes in Computer Science Bd.11563"
0 Gebrauchte Artikel zu „Recent Trends in Algebraic Development Techniques / Lecture Notes in Computer Science Bd.11563“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Recent Trends in Algebraic Development Techniques / Lecture Notes in Computer Science Bd.11563".
Kommentar verfassen