|
Books > Computing & IT > General theory of computing
|
Buy Now
Computer Aided Verification - 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings (Paperback, 2004 ed.)
Loot Price: R2,879
Discovery Miles 28 790
|
|
|
Computer Aided Verification - 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings (Paperback, 2004 ed.)
Series: Lecture Notes in Computer Science, 3114
Expected to ship within 18 - 22 working days
|
ThisvolumecontainstheproceedingsoftheconferenceonComputer AidedVe-
?cation, CAV 2004, held in Boston, Massachusetts, USA,
July13-17,2004.CAV 2004 was the 16th in a series of conferences
dedicated to the advancement of the theory and practice of
computer-assisted formal analysis methods for software and hardware
systems. The conference covers the spectrum from theoretical -
sults to concrete applications, with an emphasis on practical
veri?cation tools and the algorithms and techniques that are needed
for their implementation. The conference has traditionally drawn
participation from researchersas well as practitioners in both
academia and industry. CAV 2004 was colocated with the ACM
International Symposium on So- ware Testing and Analysis (ISSTA
2004), and was partially sponsored by the
ACMSIGSOFT.Thecolocationre?ectstheincreasingsynergybetweenresearch
on veri?cation and testing, and emerging applications of formal
veri?cation to softwareanalysis.Joint CAV-ISSTA events included a
distinguished plenary l- ture by David Harel and a special session
exploring various approaches to the speci?cation and veri?cation of
concurrent software organized by Shaz Qade
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
(1)
