Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Recent Trends in Algebraic Development Techniques

24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers
BuchKartoniert, Paperback
175 Seiten
Englisch
Springererschienen am26.06.20191st ed. 2019
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.mehr
Verfügbare Formate
BuchKartoniert, Paperback
EUR53,49
E-BookPDF1 - PDF WatermarkE-Book
EUR53,49

Produkt

KlappentextThis 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.
Details
ISBN/GTIN978-3-030-23219-1
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2019
Erscheinungsdatum26.06.2019
Auflage1st ed. 2019
ReiheTheoretical Computer Science and General Issues
Seiten175 Seiten
SpracheEnglisch
Gewicht295 g
IllustrationenIX, 175 p. 849 illus., 7 illus. in color.
Artikel-Nr.46754730

Inhalt/Kritik

Inhaltsverzeichnis
Role-based Development of Dynamically Evolving Esembles.- Parameterized Strategies Specication in Maude.- An Algebraic Theory for Data Linkage.- Institutions for SQL Database Schemas and Datasets.- Finite Limits and Anti-Unication in Substitution Categories.- A Flexible Categorial Formalisation of Term Graphs as Directed Hypergraphs.- Term Charters.- Constructing Constraint-Preserving Interaction Schemes in Adhesive Categories.- Structuring Theories with Implicit Morphisms.mehr