Tools and Algorithms for the Construction and Analysis of Systems
14th International Conference, TACAS 2008, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hu
Ramakrishnan, C. R. (EDT)
Rehof, Jakob (EDT)
Paperback
$77.36 + $1.99 USPS S/H
$3.87 of your order (5%) will be donated to the school of your choice.
Submit a book reviewFOR RELATED BOOKS
Computers Books :: Logic Design Books
Computers Books :: Programming Books :: Software Development Books
MORE BOOK INFO
ISBN: 3540787992
Dewey Decimal: 005.1
Library of Congress: 2008923178
Book Publisher: Springer-Verlag New York Inc
Language: ENG
No. of Pages: 518
