Verification, Model Checking, and Abstract Interpretation 在线电子书 图书标签:
发表于2024-11-03
Verification, Model Checking, and Abstract Interpretation 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024
翻翻前人的成果乐趣多;
评分翻翻前人的成果乐趣多;
评分翻翻前人的成果乐趣多;
评分翻翻前人的成果乐趣多;
评分翻翻前人的成果乐趣多;
The book constitutes the refereed proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2009, held in Savannah, GA, USA, in January 2009 - co-located with POPL 2009, the 36th Annual Symposium on Principles of Programming Languages. The 24 revised full papers presented together with 3 invited talks and 2 invited tutorials were carefully reviewed and selected from 72 submissions. The papers address all current issues from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine the three areas.
评分
评分
评分
评分
Verification, Model Checking, and Abstract Interpretation 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024