|
Books > Computing & IT > Computer communications & networking
|
Not currently available
Automated Technology for Verification and Analysis - 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings (Paperback, 2008 ed.)
Loot Price: R725
Discovery Miles 7 250
You Save: R1,676
(70%)
|
|
|
Automated Technology for Verification and Analysis - 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings (Paperback, 2008 ed.)
Series: Lecture Notes in Computer Science, 5311
Supplier out of stock. If you add this item to your wish list we will let you know when it becomes available.
|
This volume contains the papers presented at the 6th International
Symposium on Automated Technology for Veri?cation and Analysis held
during October 20-23 in Seoul, Korea. The primary objective of the
ATVA conferences remains the same: to exchange and promote the
latest advances of state-of-the-art - search on theoretical and
practical aspects of automated analysis, veri?cation, and
synthesis. Among 66 research papers and 16 tool papers submitted to
ATVA 2008, the Program Committee accepted 21 as regular papers, 7
as tool papers, and 5 as short papers. In all, 33 experts from 27
countries worked hard to make sure that every submission received
as rigorous and fair an evaluation as possible. In addition, the
program also included three excellent tutorials and keynote talksby
DavidDill (StanfordUniversity), SriramRajamani(MicrosoftResearch
India), and Natarajan Shankar (SRI International). The conference
organizers were truly excited to have such distinguished
researchers as keynote speakers. Many worked hard and o?ered their
valuable time so generously to make ATVA 2008 successful. First of
all, the conference organizers thank all 218 - searchers who worked
hard to complete and submit papers to the conference. ThePCmembers,
reviewers, andSteeringCommitteemembersalsodeserves- cial
recognition. Without them, a competitive and peer-reviewed
international symposium simply cannot take place.
Manyorganizationssponsoredthesymposium.Theyinclude: TheKorean-
stituteofInformationScientistsandEngineers(SIGPLandSoftwareEngineering
Society), KoreaUniversity, KoreaAdvanced Institute ofScience and
Technology (KAIST), the Software Process Improvement Center and the
Defense Software Research Center at KAIST. The conference
organizers also thank the BK p-
gramatKoreaUniversityandtheDepartmentofComputerScienceatKAISTfor
?nancialsupport. We sincerely hope that the readers ?nd the
proceedings of ATVA 2008 informative and reward
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..
|
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
