Recent Trends in Algebraic Development Techniques
23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers
(Sprache: Englisch)
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2016, held in September 2016 in Gregynog, UK.
The 9 revised papers presented together with...
The 9 revised papers presented together with...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
54.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „Recent Trends in Algebraic Development Techniques “
Klappentext zu „Recent Trends in Algebraic Development Techniques “
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2016, held in September 2016 in Gregynog, UK.The 9 revised papers presented together with two invited talks, one invited paper and two survey papers were carefully reviewed and selected from numerous submissions and focus on foundations of algebraic specification; other approaches to formal specification, including process calculi and models of concurrent, distributed and mobile computing; specification languages, methods, and environments; semantics of conceptual modeling methods and techniques; model-driven development; graph transformations, term rewriting and proof systems; integration of formal specification techniques; formal testing and quality assurance, validation, and verification areas, broadly falling into three categories: multimedia content analysis; multimedia signal processing and communications; andmultimedia applications and services.
Bibliographische Angaben
- 2017, 1st ed. 2017, X, 223 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Phillip James, Markus Roggenbach
- Verlag: Springer, Berlin
- ISBN-10: 3319720430
- ISBN-13: 9783319720432
- Erscheinungsdatum: 08.12.2017
Sprache:
Englisch
Kommentar zu "Recent Trends in Algebraic Development Techniques"
Schreiben Sie einen Kommentar zu "Recent Trends in Algebraic Development Techniques".
Kommentar verfassen