 | Computer Aided Verification: 20th International Conference, Cav 2008 Princeton, NJ, USA, July 7-14, 2008, ProceedingsFormat: Paperback Publisher: Springer Publication Date: 7/31/2008
| |
 | Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 ProceedingsFormat: Paperback Publisher: Springer Publication Date: 10/31/2008
| |
 | Reasoning Web: 4th International Summer School 2008, Venice Italy, September 7-11, 2008, Tutorial LecturesFormat: Paperback Publisher: Springer Publication Date: 10/31/2008
| |
 | Logical Foundations of Computer ScienceFormat: Paperback Publisher: Springer Publication Date: 11/30/2007
| |
 | Foundations of Software Technology and Theoretical Computer ScienceFormat: Paperback Publisher: Springer Publication Date: 11/30/2007
| |
 | Tools and Algorithms for the Construction and Analysis of SystemsFormat: Paperback Publisher: Springer Publication Date: 11/30/2007
| |
 | High Performance Embedded Architectures and CompilersFormat: Paperback Publisher: Springer Publication Date: 10/31/2008
| |
 | Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, ProceedingsFormat: Paperback Publisher: Springer Publication Date: 10/31/2008
| |
 | Evolvable Systems: From Biology to HardwareFormat: Paperback Publisher: Springer Publication Date: 10/31/2008
| |
 | Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. ProceediFormat: Paperback Publisher: Springer Publication Date: 2/28/2009
| |
SAVE $5 ON TODAY’S ORDER
Become a member today and enjoy these benefits:
- • Get FREE SHIPPING on the first item you order!
- • Save up to 30% or more on each purchase!
- • Get a $5 discount on the first in-stock item you order today
- • Receive exclusive members-only offers to help you save even more money
†Terms of Offer:
Your satisfaction is always important to us. You can try the BestBrandValues service risk-free for the first 3 days for only $1. Unless you cancel your account during the trial period, your BestBrandValues membership will be extended automatically at the low $19.95 membership fee per month, billed to the credit card or debit card you provide today. Your membership will be automatically renewed monthly at the then-current monthly fee, billed to the credit or debit card you provide. If you choose to discontinue during the trial period, simply call us 24/7 toll-free at 866-529-3413 to cancel and we'll refund your dollar, no questions asked. There is no obligation to continue.
Risk-Free Trial is available to new members only. Limit one per household.
Privacy Policy Terms and Conditions