Recent Trends in Algebraic Development Techniques (inbunden)
Format
Häftad (Paperback / softback)
Språk
Engelska
Antal sidor
223
Utgivningsdatum
2017-12-08
Upplaga
1st ed. 2017
Förlag
Springer International Publishing AG
Medarbetare
James, Phillip (ed.), Roggenbach, Markus (ed.)
Illustratör/Fotograf
Bibliographie
Illustrationer
28 Illustrations, black and white; X, 223 p. 28 illus.
Dimensioner
234 x 156 x 13 mm
Vikt
336 g
Antal komponenter
1
Komponenter
1 Paperback / softback
ISBN
9783319720432

Recent Trends in Algebraic Development Techniques

23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 2124, 2016, Revised Selected Papers

Häftad,  Engelska, 2017-12-08
576
  • Skickas från oss inom 10-15 vardagar.
  • Fri frakt över 249 kr för privatkunder i Sverige.
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.
Visa hela texten

Passar bra ihop

  1. Recent Trends in Algebraic Development Techniques
  2. +
  3. The Anxious Generation

De som köpt den här boken har ofta också köpt The Anxious Generation av Jonathan Haidt (häftad).

Köp båda 2 för 710 kr

Kundrecensioner

Har du läst boken? Sätt ditt betyg »

Fler böcker av författarna