Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings (Paperback, 2014 ed.)
Loot Price: R1,676
Discovery Miles 16 760
|
|
Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings (Paperback, 2014 ed.)
Series: Theoretical Computer Science and General Issues, 8413
Expected to ship within 10 - 15 working days
|
This book constitutes the proceedings of the 20th International
Conference on Tools and Algorithms for the Construction and
Analysis of Systems, TACAS 2014, which took place in Grenoble,
France, in April 2014, as part of the European Joint Conferences on
Theory and Practice of Software, ETAPS 2014. The total of 42 papers
included in this volume, consisting of 26 research papers, 3 case
study papers, 6 regular tool papers and 7 tool demonstrations
papers, were carefully reviewed and selected from 161 submissions.
In addition the book contains one invited contribution. The papers
are organized in topical sections named: decision procedures and
their application in analysis; complexity and termination analysis;
modeling and model checking discrete systems; timed and hybrid
systems; monitoring, fault detection and identification;
competition on software verification; specifying and checking
linear time properties; synthesis and learning; quantum and
probabilistic systems; as well as tool demonstrations and case
studies.
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.