Title: Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings (Lecture Notes in Computer Science, 2575)
Publisher: Springer
Publication Date: 2002
Language: English
ISBN 10: 3540003487
ISBN 13: 9783540003489
Binding: Soft cover
Condition: new

About this title

Synopsis

This volume contains the proceedings of the 4th International Conference on Veri?cation, Model Checking, and Abstract Interpretation (VMCAI 2003), held in New York city, January 9–11, 2003. The purpose of VMCAI was to provide a forum for researchers from three communities―Veri?cation, Model Checking, and Abstract Interpretation―that will facilitate interaction, cross-fertilization, and the advance of hybrid methods that combine the three areas. With the g- wingneedforformaltoolstoreasonaboutcomplex,in?nite-state,andembedded systems, such hybrid methods are bound to be of great importance. Topics covered by VMCAI include program veri?cation, static analysis te- niques, model checking, program certi?cation, type systems, abstract domains, debugging techniques, compiler optimization, embedded systems, and formal analysis of security protocols. VMCAI 2003 was the fourth VMCAI meeting. The previous three were held as workshops (Port Je?erson 1997, Pisa 1998, and Venice 2002). It is the success of the last meeting, and the wide response it generated, that made it clear the time had come to make it an annual conference.

"About this title" may belong to another edition of this title.

Store Description

Welcome to the Solr Books & Books4Cause AbeBooks page! We are a social venture dedicated to supporting social causes, education, and community through a business model. Books4Cause doesn?t raise funds or rely on government grants. All of our funding comes from selling a portion of used books donated to us. Our main goal is to recirculate books back into the hands of people who will read and treasure them. We support both local and global initiatives. Through partnering with the African Library Project, we have built over 120 libraries in nursery schools, elementary schools, high schools, and universities across 18 countries in Africa. Our pop-up free library program in Chicago distributes free books in under-served neighborhoods throughout the city, giving necessary resources to children, adults, and families who otherwise may not have been able to access them. For more information on what we do, or how you can help, go to books4cause.com

Visit Seller's Storefront

Seller's business information

Solr Books
IL, U.S.A.

Sale & Shipping Terms

Terms of Sale

We guarantee the condition of every book as it's described on the Abebooks web
sites. If you're dissatisfied with your purchase (Incorrect Book/Not as
Described/Damaged) or if the order hasn't arrived, you're eligible for a refund
within 30 days of the estimated delivery date. If you've changed your mind about a
book that you've ordered, please use the Ask bookseller a question link to contact
us and we'll respond within 2 business days.

Shipping Terms

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	2 to 12 business days	1 to 3 business days
First item	US$ 7.98	US$ 18.99

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.