search for books and compare prices
Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas '96, Passau, Germany, March 1996 : Proceedings
By Tacas '9 1996 Passau, Germany); Tiziana Margaria; Bernhard Steffen
Descriptions of each edition are found in brief where available. Click details & prices to get more information on a book or to find the best prices for the title.
Sort options: binding | publication date | edition
Paperback
Book cover for 9780387610429
 
With Helmut Holzapfel | from Springer Verlag (April 1, 1996)
9780387610429 | details & prices | List price $68.00
This edition also contains Urbanism and Transport: Building Blocks for Architects and City and Transport Planners