Produktbild
Phillip (Hrsg.) James

Recent Trends in Algebraic Development Techniques

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

Ebook (PDF Format)

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… Mehr

CHF 65.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen
Versandkostenfrei

Produktdetails


Weitere Autoren: Roggenbach, Markus (Hrsg.)
  • ISBN: 978-3-319-72044-9
  • EAN: 9783319720449
  • Produktnummer: 33364611
  • Verlag: Springer-Verlag GmbH
  • Sprache: Englisch
  • Erscheinungsjahr: 2017
  • Seitenangabe: 223 S.
  • Plattform: PDF
  • Masse: 8'225 KB
  • Abbildungen: 28 schwarz-weiße Abbildungen, Bibliographie
  • Reihenbandnummer: 10644

1 weiteres Werk von Phillip (Hrsg.) James:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.