Recently found by viaLibri....
2019-11-06 10:41:13
Nicolas Halbwachs and Lenore Zuck
Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European ... (Lecture Notes in Computer Science)
2008-06-13. New. Ships with Tracking Number! INTERNATIONAL WORLDWIDE Shipping available. Buy with confidence, excellent customer service!
Bookseller: Books Express [U.S.A.]
Check availability:

Search for more books on viaLibri

LINK TO THIS PAGE: https://www.vialibri.net/years/books/145466406/2008-nicolas-halbwachs-and-lenore-zuck-tools-and-algorithms-for-the-construction

Browse more rare books from the year 2008