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, Hungary, March 29-april 6, 2008, P

Name: 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, Hungary, March 29-april 6, 2008, P
Author: Ramakrishnan, C. R.
ISBN: 9783540787990

by Ramakrishnan, C. R.

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, Hungary, March 29-april 6, 2008, P

by Ramakrishnan, C. R.

Marketplace Prices
New from $28.09

New
$28.09

List Price

~~$89.95~~

Discount

68% Off

You Save

$61.86

Item Details
Condition: New
Provider: Bookjunction Contact
Provider Rating:

73%
Ships From: STERLING HEIGHTS, MI
Shipping: Standard
Comments: New, US edition. Satisfaction guaranteed!!

ISBN-13: 9783540787990
ISBN: 3540787992
Publication Date: 2008
Publisher: Springer

AUTHOR

Ramakrishnan, C. R.

SUMMARY

Ramakrishnan, C. R. is the author of '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, Hungary, March 29-april 6, 2008, P', published 2008 under ISBN 9783540787990 and ISBN 3540787992.

[read more]