When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
Tools and Algorithms for the Construction and Analysis of Systems : Third Int...
- Item No : 388736043516
- Condition : Like New
- Brand : No brand Info
- Seller : greatbookprices1
- Current Bid : US $85.38
-
* Item Description
- Tools and Algorithms for the Construction and Analysis of Systems : Third International Workshop, Tacas 97 Enschede, the Netherlands, April 2-4, 1997 : Proceedings, Paperback by Brinksma, Ed (EDT), ISBN 3540627901, ISBN-13 9783540627906, Like New Used, Free shipping in the US
This book constitutes the refereed proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '97, held in Enschede, The Netherlands, in April 1997.
Th presents 20 revised full papers and 5 tool demonstrations carefully selected out of 54 submissions; also included are two extended abstracts and a full paper corresponding to invited talks. The papers are organized in topical sections on space reduction techniques, tool demonstrations, logical techniques, verification support, specification and analysis, and theorem proving, model checking and applications.
★ Recommended Products Related To This Item
♥ Best Selling Products in this category
