Items related to Tools and Algorithms for the Construction and Analysis...

Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint ... ... Estonia, March 24 -- April 1, 2012, Proc - Softcover

 
9783642287572: Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint ... ... Estonia, March 24 -- April 1, 2012, Proc
Softcover
ISBN 10: 3642287573 ISBN 13: 9783642287572
Publisher: Springer, 2012

This specific ISBN edition is currently not available.

Publisher
Springer
Publication date
2012
Language
English
ISBN 10 
3642287573
ISBN 13 
9783642287572
Binding
Paperback

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783540787990: Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European ... (Lecture Notes in Computer Science, 4963)

Featured Edition

ISBN 10:  3540787992 ISBN 13:  9783540787990
Publisher: Springer, 2008
Softcover