Verification, Model Checking, and Abstract Interpretation: 5th International Conference, Vmcai 2004, Venice, January 11-13, 2004, Proceedings

By: Steffen, Bernhard

2004

• Format: Paperback
• Language: English
• ISBN: 3540208038
• ISBN13: 9783540208037
• Release Date: January 2004
• Publisher: Springer Berlin / Heidelberg
• Length: 325 Pages
• Weight: 1.06 lbs.
• Dimensions: 0.7" x 6.1" x 9.2"