Skip to content
Home/ Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, Tac
Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, Tac

Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, Tac

No customer reviews yet ISBN 9783540627906

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.
The book 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.

About the author

Product details

Pub dateMar 20, 1997
ISBN-103540627901
ISBN-139783540627906
LanguageEnglish
Last updated 2026-07-29 20:36
$57.47
In stock — ships in 24 hours with free tracking
Delivery by Monday, September 14, 2026
Qty
Sign in to Add to Saved list
Free delivery on orders over $35.
15-day returns. Any reason.
Secure checkout. We never store card details.

Readers who bought this also bought

More from Category
See all