Free Media Mail shipping in the US on orders $50 or more.
Skip to main content
Your Account | Cart

Moe's Books

Moe's Books

Main Navigation

Toggle main navigation
  • Home
  • Search
  • Browse
  • Posters
  • New Arrivals
  • Updates
  • Buy New Books
  • Contact
Advanced Search
Advanced Search
$ min
$ max
close [x]
Bernhard Beckert; Reiner Hahnle; Peter H. Schmitt, Eds.

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science)

Springer, 2007. Soft Cover. Very Good / No Jacket. Item #1110412
ISBN: 354068977X

Price: $62.50 save 10% $56.25

Add to Cart Ask a Question
See all items in Computer Science
See all items by Bernhard Beckert, Reiner Hahnle, Eds Peter H. Schmitt
  • Moe's Books
  • 2476 Telegraph Ave, Berkeley, CA 94704
  • Phone (510) 849-2087
  • Search Our Inventory
  • Browse Categories
  • New Arrivals
  • Featured Items
  • Leave a Want
  • Events
  • Buy New Books
  • Contact Us
  • Terms of Sale
  • Privacy Policy
  • Accessibility
  • Shopping Cart
  • My Account
  • Create an Account
  • Forgot Password
Find on FacebookFollow on TwitterFollow on Instagram

© 2023 Moe's Books. All rights reserved. Site Map | Site by Bibliopolis

I'd like to be notified of new arrivals in the following categories.

Check all categories that are of interest to you.

Close