Books > Science & Mathematics > Mathematics > Mathematical foundations
|
Not currently available
Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers (Paperback, 1st ed. 2015)
Loot Price: R1,481
Discovery Miles 14 810
|
|
Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers (Paperback, 1st ed. 2015)
Series: Lecture Notes in Computer Science, 9463
Supplier out of stock. If you add this item to your wish list we will let you know when it becomes available.
|
This book constitutes the thoroughly refereed post-conference
proceedings of the 22nd International Workshop on Algebraic
Development Techniques, WADT 2014, held in September 2014 in
Sinaia, Romania. The 8 revised papers presented were carefully
reviewed and selected from 13 presentations and focus together with
one invited paper on foundations of algebraic specification,
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.