We Need Diverse Ya 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: Orna Grumberg. Refine your search.

  1. 1

    Lecture Notes in Computer Science / Programming and Software #5533: Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

    Orna Grumberg / Springer
    New Trade Paper  /  Mathematics - Logic and Philosophy
    $108.50

     

  2. 2

    Lecture Notes in Computer Science #4424: Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, Tacas 2007 Held as Part of the Joint European Confer

    Orna Grumberg / Springer
    New Trade Paper  /  Artificial Intelligence - Fuzzy Logic
    $190.25

     

  3. 3

    Lecture Notes in Computer Science #5000: 25 Years of Model Checking: History, Achievements, Perspectives

    Orna Grumberg (edt) / Springer
    New Trade Paper  /  Software Engineering - General
    $50.25

     

  4. 4

    Software Systems Safety

    Orna Grumberg (edt) / IOS Press
    New Hardcover  /  Personal Computers - General
    $196.00

     

  5. 5

    Formal Logical Methods for System Security and Correctness.

    Orna Grumberg Et Al

     

  6. 6

    Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2

    Orna Grumberg

     

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.