Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers (Lecture Notes in Computer Science)

by Bernhard Steffen (Author), Bernhard Steffen (Author), Ed Brinksma (Author), Tiziana Margaria (Author), Kim G. Larsen (Author), W. Rance Cleaveland (Author)

New
Paperback
2008
$74.31

$74.31

Save:$5.43 (7%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 308
Edition: 1995
Publisher: Springer
Published: 13 Jun 2008
ISBN 10: 3540606300
ISBN 13: 9783540606307

Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers (Lecture Notes in Computer Science)

New

$74.31

$74.31

More Information