This is Real Life Sale
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Visit our stores

You searched for: Bernhard Beckert. Refine your search.

  1. 1

    Lecture Notes in Computer Science / Programming and Software #7542: Formal Methods for Components and Objects: 10th International Symposium, Fmco 2011, Turin, Italy, October 3-5, 2011, Revised Selecte

    Bernhard Beckert (edt) / Springer
    New Trade Paper  /  Software Engineering - General
    $83.00

     

  2. 2

    Lecture Notes in Computer Science #4966: Tests and Proofs: Second International Conference, Tap 2008, Prato, Italy, April 9-11, 2008, Proceedings

    Bernhard Beckert / Springer
    New Trade Paper  /  Software Engineering - Systems Analysis and Design
    $99.25

     

  3. 3

    Lecture Notes in Computer Science / Programming and Software #6528: Formal Verification of Object-Oriented Software: International Conference, Foveoos 2010, Paris, France, June 28-30, 2010, Revised Se

    Bernhard Beckert / Not Avail
    New Trade Paper  /  Software Engineering - General
    $99.25

     

  4. 4

    Lecture Notes in Computer Science / Programming and Software #7421: Formal Verification of Object-Oriented Software: International Conference, Foveoo 2011, Turin, Italy, October 5-7, 2011, Revised Sel

    Bernhard Beckert / Springer
    New Trade Paper  /  Software Engineering - Programming and Languages
    $79.75

     

  5. 5

    Lecture Notes in Computer Science #4334: Verification of Object-Oriented Software. the Key Approach: Foreword by K. Rustan M. Leino

    Bernhard Beckert / Springer
    New Trade Paper  /  Computers Reference - General
    $170.50

     

  6. 6

    Lecture Notes in Computer Science / Lecture Notes in Artific #3702: Automated Reasoning with Analytical Tableaux and Related Methods: International Conference, Tableaux 2005 Koblenz, Germany, Septembe

    Bernhard Beckert / Springer
    New Trade Paper  /  Computers Reference - General
    $118.50

     

  7. 7

    Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings

    Bernhard Beckert

     

spacer
spacer
  • back to top

FOLLOW US ON...

     
Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.