|
Books > Computing & IT > Computer communications & networking
|
Buy Now
Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II (Paperback, 1st ed. 2021)
Loot Price: R1,455
Discovery Miles 14 550
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II (Paperback, 1st ed. 2021)
Series: Lecture Notes in Computer Science, 12652
Expected to ship within 10 - 15 working days
|
This open access two-volume set constitutes the proceedings of the
27th International Conference on Tools and Algorithms for the
Construction and Analysis of Systems, TACAS 2021, which was held
during March 27 - April 1, 2021, as part of the European Joint
Conferences on Theory and Practice of Software, ETAPS 2021. The
conference was planned to take place in Luxembourg and changed to
an online format due to the COVID-19 pandemic. The total of 41 full
papers presented in the proceedings was carefully reviewed and
selected from 141 submissions. The volume also contains 7 tool
papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The
papers are organized in topical sections as follows: Part I: Game
Theory; SMT Verification; Probabilities; Timed Systems; Neural
Networks; Analysis of Network Communication. Part II: Verification
Techniques (not SMT); Case Studies; Proof Generation/Validation;
Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.
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
