Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 Proceedings

Publisher

Springer, Berlin

Publication Date

2016

Language

English

ISBN 10

3662491214

ISBN 13

9783662491218

Binding

Paperback

Condition

Near Fine

Weight

1.9 pounds

Seller catalogs

Technology/Computer Science

About this title

Synopsis

This book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The 24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected from 67 submissions.

VMCAI provides topics including: program verification, model checking, abstract

interpretation and abstract domains, program synthesis, static analysis,

type systems, deductive methods, program certification, debugging techniques,

program transformation, optimization, hybrid and cyber-physical systems.

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

Store Description

Our store carries a wide variety of scholarly titles in many fields and is especially strong in history, literary studies, judaica, medicine and linguistics, philosophy and classical studies. We are always interested in purchasing books in these fields as well as military and music titles.

Visit Seller's Storefront

Association Member

Members of these associations are committed to maintaining the highest standards. They vouch for the authenticity of all items offered for sale. They provide expert and detailed descriptions, disclose all significant defects and/or restorations, provide clear and accurate pricing, and operate with fairness and honesty during the purchase experience.

Seller's business information

Daedalus Books
2074 NW Flanders St., Portland, OR, 97209, U.S.A.

Sale & Shipping Terms

Terms of Sale

We accept Visa, Mastercard, American Express, Discover and PayPal (Verified/Confirmed). We do accept Paypal for international orders processed through AbeBooks. Payment should accompany order unless credit has been established.

Standard Media Mail shipping costs $5.40, and covers books weighing up to four pounds. Priority Mail is $11.95, and covers books weighing up to four pounds. If a book exceeds those weights, we will ask for more money for shipment. If we receive no reply, the order will re...

More Information

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	5 to 15 business days	3 to 6 business days
First item	US$ 5.50	US$ 9.95

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.