An edition of Tools and algorithms for the construction and analysis of systems
(1996)
Tools and algorithms for the construction and analysis of systems
second international workshop, TACAS '96, Passau, Germany, March 27-29, 1996 : proceedings
by TACAS '96 (1996 Passau, Germany)
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
Share
×Close
Last edited by Open Library Bot
April 28, 2010 | History
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Showing 1 featured edition. View all 1 editions?
| Edition | Availability |
|---|---|
1
Tools and algorithms for the construction and analysis of systems: second international workshop, TACAS '96, Passau, Germany, March 27-29, 1996 : proceedings
1996, Springer
in English
3540610421 9783540610427
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Published in
Berlin, New York
Edition Notes
Includes bibliographical references and index.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| April 28, 2010 | Edited by Open Library Bot | Linked existing covers to the work. |
| February 13, 2010 | Edited by WorkBot | add more information to works |
| December 10, 2009 | Created by WorkBot | add works page |