Willkommen, schön sind Sie da!
Logo Ex Libris

Recent Trends in Algebraic Development Techniques

  • Kartonierter Einband
  • 301 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Leseprobe
This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Algebraic Developm... Weiterlesen
CHF 86.00
Auslieferung erfolgt in der Regel innert 2 bis 4 Werktagen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010, held in July 2010 in Etelsen, Germany. The 15 revised papers presented were carefully reviewed and selected from 32 presentations. The workshop deals with the following topics: 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.

Up-to-date results

Fast-track conference proceedings

State-of-the-art research

Produktinformationen

Titel: Recent Trends in Algebraic Development Techniques
Untertitel: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers
Editor:
EAN: 9783642284113
ISBN: 3642284116
Format: Kartonierter Einband
Herausgeber: Springer-Verlag GmbH
Genre: Informatik
Anzahl Seiten: 301
Gewicht: 471g
Größe: H239mm x B157mm x T23mm
Jahr: 2012
Auflage: 2012

Weitere Produkte aus der Reihe "Theoretical Computer Science and General Issues"