Search
|
About
|
Preferences
|
Interact
|
Help
150 million books. 1 search engine.
author, title, or isbn search
Go
Tacas 2000
Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, Tacas 2000, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2000, Berlin, germa
by Tacas 2000, Michael I. Schwartzbach, Susanne Graf
Softcover, Springer Verlag
, ISBN 3540672826 (3-540-67282-6)
Tacas 2000
at LibraryThing
coauthors & alternates:
Susanne Graf
Michael I. Schwartzbach
![[powered by Muze Inc.]](http://i.bookfinder.com/images/site/muze/powered_by_muze.gif){kind=small}