|
Books > Computing & IT > Computer programming > Software engineering
|
Buy Now
Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings (Paperback, 2015 ed.)
Loot Price: R1,529
Discovery Miles 15 290
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings (Paperback, 2015 ed.)
Series: Theoretical Computer Science and General Issues, 9035
Expected to ship within 18 - 22 working days
|
This book constitutes the proceedings of the 21st International
Conference on Tools and Algorithms for the Construction and
Analysis of Systems, TACAS 2015, which took place in London, UK, in
April 2015, as part of the European Joint Conferences on Theory and
Practice of Software, ETAPS 2015. The 45 papers included in this
volume, consisting of 27 research papers, 2 case-study papers, 7
regular tool papers and 9 tool demonstration papers, were carefully
reviewed and selected from 164 submissions. In addition, the book
contains one invited contribution. The papers have been organized
in topical sections on hybrid systems; program analysis;
verification and abstraction; tool demonstrations; stochastic
models; SAT and SMT; partial order reduction, bisimulation, and
fairness; competition on software verification; parameter
synthesis; program synthesis; program and runtime verification;
temporal logic and automata and model checking.
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
