|
Books > Computing & IT > General theory of computing > Data structures
|
Buy Now
Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings (Paperback, 1st ed. 2016)
Loot Price: R1,670
Discovery Miles 16 700
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings (Paperback, 1st ed. 2016)
Series: Theoretical Computer Science and General Issues, 9636
Expected to ship within 10 - 15 working days
|
This book constitutes the proceedings of the 22nd International
Conference on Tools and Algorithms for the Construction and
Analysis of Systems, TACAS 2016, which took place in Eindhoven, The
Netherlands, in April 2016, held as Part of the European Joint
Conferences on Theory and Practice of Software, ETAPS 2016. The 44
full papers presented in this volume were carefully reviewed and
selected from 175 submissions. They were organized in topical
sections named: abstraction and verification; probabilistic and
stochastic systems; synthesis; tool papers; concurrency; tool
demos; languages and automata; security; optimization; and
competition on software verification - SV-COMP.
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
