Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, Tacas 2003, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2003, Warsaw
by Tacas 200 (2003 Warsaw, Poland); Hatcliff, John; Garavel, Hubert
Price: $24.00
- Bookseller: Caliban Books ABAA-ILAB
- Seller Inventory #: 0030921
- Book condition:
- Binding: Paperback
- Publisher: HeidelbergSpringer Verlag
Book Description
HeidelbergSpringer Verlag. Mint. Paperback, clean unmarked text, mint (still in shrink wrap). Binding is Soft Cover.
Not sure what some of these terms mean? Look it up in our glossary.