BooksRock.com - Kids Books At Amazing Low Prices!
www.booksrock.com
Sign In
/
Create an account
Home
Categories
Hot Books
Book Bargains
Box Assortment
Power Search
Limit this search to....
All
Books
DVDs
CDs
(3 items found)
Title
Author / Artist
Prod Type
ISBN/ISBN-13
or UPC
Pub
Date
Price
Adapting Proofs-As-Programs: The Curry--Howard Protocol
(Monographs in Computer Science)
Poernomo, Iman
Paperback
1441920145 /
9781441920140
11/2010
$161.49
Adapting Proofs-As-Programs: The Curry--Howard Protocol
2005 Edition (Monographs in Computer Science)
Poernomo, Iman
Hardcover
0387237593 /
9780387237596
06/2005
$161.49
Component-Based Software Engineering: 12th International Symposium, Cbse 2009 East Stroudsburg, Pa, Usa, June 24-26, 2009 Proceedings
2009 Edition (Lecture Notes in Computer Science)
Lewis, Grace A.
Paperback
3642024130 /
9783642024139
06/2009
$52.24
(3 items found)