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.
Produktkennzeichnungen
Herausgeber
Till Mossakowski, Hans-Jörg Kreowski
ISBN-10
3642284116
ISBN-13
9783642284113
eBay Product ID (ePID)
160984935
Produkt Hauptmerkmale
Produktart
Lehrbuch
Sprache
Englisch
Anzahl der Seiten
X Seiten
Verlag
Springer-Verlag Gmbh, Springer Berlin
Publikationsname
Recent Trends in Algebraic Development Techniques
Autor
Till Mossakowski, Hans-Jörg Kreowski
Format
Taschenbuch
Erscheinungsjahr
2012
Zusätzliche Produkteigenschaften
Hörbuch
No
Inhaltsbeschreibung
Book
Item Length
23cm
Item Height
2cm
Item Width
15cm
Nummer Innerhalb der Serie
7137
Item Weight
471g
Buchreihe
Lecture Notes in Computer Science, Theoretical Computer Science And General Issues