Books > Science & Mathematics > Mathematics > Mathematical foundations
|
Buy Now
Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers (Paperback, 2012)
Loot Price: R1,563
Discovery Miles 15 630
|
|
Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers (Paperback, 2012)
Series: Theoretical Computer Science and General Issues, 7137
Expected to ship within 10 - 15 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.