Items related to Static Analysis: 13th International Symposium, SAS...
Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings (Lecture Notes in Computer Science, 4134) - Softcover
Synopsis
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.
Search results for Static Analysis: 13th International Symposium, SAS...
Stock Image
Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings (Lecture Notes in Computer Science, 4134)
Seller: Books From California, Simi Valley, CA, U.S.A.
Seller rating 4 out of 5 stars
paperback. Condition: Very Good. Seller Inventory # mon0003812369
Seller Image
Static Analysis : 13th International Symposium, Sas 2006, Seoul, Korea, August 29-31, 2006, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: good. May show signs of wear, highlighting, writing, and previous use. This item may be a former library book with typical markings. No guarantee on products that contain supplements Your satisfaction is 100% guaranteed. Twenty-five year bookseller with shipments to over fifty million happy customers. Seller Inventory # 5105252-5
Stock Image
Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings (Lecture Notes in Computer Science, 4134)
Seller: Textbooks_Source, Columbia, MO, U.S.A.
Seller rating 5 out of 5 stars
paperback. Condition: Good. 2006th Edition. Ships in a BOX from Central Missouri! May not include working access code. Will not include dust jacket. Has used sticker(s) and some writing or highlighting. UPS shipping for most packages, (Priority Mail for AK/HI/APO/PO Boxes). Seller Inventory # 001272175U
Seller Image
Static Analysis : 13th International Symposium, Sas 2006, Seoul, Korea, August 29-31, 2006, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 5105252
Seller Image
Static Analysis : 13th International Symposium, Sas 2006, Seoul, Korea, August 29-31, 2006, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 5105252
Buy Used
US$ 86.47
US$ 19.85 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Static Analysis : 13th International Symposium, Sas 2006, Seoul, Korea, August 29-31, 2006, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 5105252-n
Stock Image
Static Analysis
Seller: Books Puddle, Woodside, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 464. Seller Inventory # 26302690
Seller Image
Static Analysis : 13th International Symposium, Sas 2006, Seoul, Korea, August 29-31, 2006, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 5105252-n
Buy New
US$ 92.02
US$ 19.85 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Static Analysis
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 464 Illus. Seller Inventory # 7545277
Buy New
US$ 105.46
US$ 8.60 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Seller Image
Static Analysis
Published by
Springer Berlin Heidelberg, 2006
ISBN 10: 3540377565
ISBN 13: 9783540377566
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Proceedings of the 13th International Symposium on Static Analysis, SAS 2006Presents 23 revised full papers together with the abstracts of 3 invited talksAddresses all aspects of static analysis including program and systems verification, s. Seller Inventory # 4888494
Buy New
US$ 61.35
US$ 54.88 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available