Stock Image

Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint . (Lecture Notes in Computer Science)

Cormac Flanagan and Barbara K nig

0 ratings by Goodreads
ISBN 10: 3642287557 / ISBN 13: 9783642287558
Published by Springer, 2012
New Condition: New Soft cover
From Books Express (Portsmouth, NH, U.S.A.)

AbeBooks Seller Since 14 August 2015 Seller Rating 5-star rating

Quantity Available: 1

Buy New
Price: 326.11 Convert Currency
Shipping: Free Within U.S.A. Destination, rates & speeds
Add to basket

About this Item

Ships with Tracking Number! INTERNATIONAL WORLDWIDE Shipping available. Buy with confidence, excellent customer service!. Bookseller Inventory # 3642287557n

Ask Seller a Question

Bibliographic Details

Title: Tools and Algorithms for the Construction ...

Publisher: Springer

Publication Date: 2012

Binding: Paperback

Book Condition:New

Edition: 2012.

About this title

Synopsis:

This book constitutes the proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, T.A.C.A.S. 2012, held as part of the joint European Conference on Theory and Practice of Software, E.T.A.P.S. 2012, which took place in Tallinn, Estonia, in March/April 2012. The 25 research papers, 2 case study papers, 3 regular tool papers, and 6 tool demonstrations papers presented in this book were carefully reviewed and selected from a total of 147 submissions. The papers are organized in topical sections named: S.A.T. and S.M.T. based methods; automata; model checking; case studies; memory models and termination; internet protocol verification; stochastic model checking; synthesis; provers and analysis techniques; tool demonstrations; and competition on software verification.

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

Store Description

Visit Seller's Storefront

Terms of Sale:

Buy with confidence. Excellent customer service. 30 day return policy with a full refund if you are not completely satisfied with the book or its condition. Books Express LLC.

Shipping Terms:

Ships usually within one business day. Default shipping is by USPS Media Mail and frequently USPS Priority Mail or UPS Ground is used. Books should arrive within 5-45 business days for expedited shipping, and 7-60 business days for standard shipping. Standard shipping can on occasion take up to 60 days for delivery.

List this Seller's Books

Payment Methods
accepted by seller

Visa Mastercard American Express

Check Money Order PayPal Invoice Bank Draft Bank/Wire Transfer Direct Debit (Personally Authorized Payment)