Department
Any Department
Books (1)
 
Shipping Option
(What's this?)
Any Shipping Option
Prime Eligible Eligible (1)
Free Super Saver Shipping (1)
  
 
 

Listmania!




Create a Listmania! list

Search Listmania!

 
     
Ad

"sempatch"

 
 
Select Results from All Departments
 
1. 
Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings (Lecture Notes in Computer Science)
Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings (Lecture Notes in Computer Science) by Francesco Logozzo, Doron A. Peled, and Leonore D. Zuck (Paperback - April 10, 2008)
Buy new: $69.95 $38.39    16 Used & new from $38.39
Get it by Thursday, Nov 20 if you order in the next 12 hours and choose one-day shipping.
Eligible for FREE Super Saver Shipping.
Excerpt - page 4: "... Jones, N.D., Hansen, R.R.: Technical appendix to [1]. (unpublished) (2007), http://www.diku.dk//hjemmesider/ansatte/neil/sempatch.pdf 3. Padioleau, Y., et al. ..."
Surprise me! See a random page in this book.
Books: See all items
 
  
 
Ad

Search powered by A9

Where's My Stuff?

Shipping & Returns

Need Help?

Search   

Your Recent History

  (What's this?)
 
You have no recently viewed items or searches.

After viewing product detail pages or search results, look here to find an easy way to navigate back to pages you are interested in.

Look to the right column to find helpful suggestions for your shopping session.
     

amazon.com Amazon.com Home  |   Directory of All Stores
International Sites:  Canada  |