|
Showing 1 - 1 of
1 matches in All Departments
|
Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers (Paperback, 1st ed. 2015)
Mihai Codescu, Razvan Diaconescu, Ionut Tutu
|
R1,481
Discovery Miles 14 810
|
Out of stock
|
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.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.