|
Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings (Paperback, 2013 ed.)
Loot Price: R1,509
Discovery Miles 15 090
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings (Paperback, 2013 ed.)
Series: Theoretical Computer Science and General Issues, 7795
Expected to ship within 18 - 22 working days
|
This book constitutes the proceedings of the 19th International
Conference on Tools and Algorithms for the Construction and
Analysis of Systems, TACAS 2013, held in Rome, Italy, in March
2013. The 42 papers presented in this volume were carefully
reviewed and selected from 172 submissions. They are organized in
topical sections named: Markov chains; termination; SAT/SMT; games
and synthesis; process algebra; pushdown; runtime verification and
model checking; concurrency; learning and abduction; timed
automata; security and access control; frontiers (graphics and
quantum); functional programs and types; tool demonstrations;
explicit-state model checking; Buchi automata; and competition on
software 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!
|
You might also like..
|
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
(1)
