|
Books > Science & Mathematics > Mathematics > Mathematical foundations
|
Buy Now
Recent Trends in Algebraic Development Techniques - 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers (Paperback, 2013 ed.)
Loot Price: R1,540
Discovery Miles 15 400
|
|
|
Recent Trends in Algebraic Development Techniques - 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers (Paperback, 2013 ed.)
Series: Lecture Notes in Computer Science, 7841
Expected to ship within 10 - 15 working days
|
This book constitutes the thoroughly refereed post-conference
proceedings of the 21st International Workshop on Algebraic
Development Techniques, WADT 2012, held in June 2012, in Salamanca,
Spain. The 16 revised papers presented were carefully reviewed and
selected from 25 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.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
