Program Proofs by K. Rustan M. Leino.
Brand-new paperback edition from The MIT Press. Condition: New.
We ship at a flat rate of $9.99 per order. Orders $35 and up ship free of charge.
arrived earlier than expected. book was in good used condition
My book arrived a week before the the expected date and I'm very happy with the transaction. :)
Item arrived in great condition, before scheduled arrival time. Great read!
Arrived on time and in perfect condition.
I just received my copy of the Constitution of Canada today...WELL ahead of schedule! Great service...thank you so much!
Easy to order online, got a confirmation email right away, shipping was fast, received book within one week! Thank you!
