This book constitutes the refereed proceedings of the 13th International Symposium on Static Analysis, SAS 2006. The book presents 23 revised full papers together with the abstracts of 3 invited talks. The papers address all aspects of static analysis including program and systems verification, shape analysis and logic, termination analysis, bug detection, compiler optimization, software maintenance, security and safety, abstract interpretation and algorithms, abstract domain and data structures and more.
"synopsis" may belong to another edition of this title.
Book Description Book Condition: New. Brand New Book In Mint condition. Shipping with Trackable Method. No APO/FPO Addresses Please. Bookseller Inventory # 9783540377566NHS
Book Description Book Condition: Brand New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!. Bookseller Inventory # AIND-82630
Book Description Book Condition: New. New. US edition. Perfect condition. Customer satisfaction our priority. Bookseller Inventory # ABE-FEB-118472
Book Description Book Condition: Brand New. New. US edition. Customer Satisfaction guaranteed!!. Bookseller Inventory # SHUB118472
Book Description Book Condition: New. Brand New Original US Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery. Bookseller Inventory # AUSBNEW-82630
Book Description Book Condition: Brand New. New, US edition. Excellent Customer Service. Bookseller Inventory # ABEUSA-118472
Book Description Springer. Book Condition: New. pp. xiii + 443. Bookseller Inventory # 7545277
Book Description Springer, 2006. Paperback. Book Condition: New. book. Bookseller Inventory # M3540377565
Book Description Springer. Book Condition: New. 3540377565 Brand New, Choose Expedited shipping for GUARANTEED delivery within 4-5 business days. Standard Delivery within 6-14 business days. We may not ship to PO Box, APO , FPO Address, please contact us. Customer satisfaction guaranteed. Bookseller Inventory # NO_9783540377566
Book Description Paperback. Book Condition: New. Brand New, Same ISBN and details as listed. Delivery within 3-7 business days. We may ship the books from multiple location across the globe including Asia depending upon the availability of inventory. Printed in English. Choose expedited shipping for Express delivery. Tracking number provided for every order. Bookseller Inventory # RO_9783540377566