Low Price Guarantee
We Take School POs
  (4 items found)
Title Author / Artist Binding ISBN/ISBN-13
or UPC
Pub
Date
Price
25 Years of Model Checking: History, Achievements, Perspectives 2008 Edition (Lecture Notes in Computer Science)Grumberg, OrnaPaperback3540698493 /
9783540698494
2008-06-17$36.09
Computer Aided Verification: 9th International Conference, Cav'97, Haifa, Israel, June 22-25, 1997, Proceedings 1997 Edition (Lecture Notes in Computer Science)Grumberg, OrnaPaperback3540631666 /
9783540631668
1997-06-04$52.24
Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday 2009 Edition (Lecture Notes in Computer Science)Grumberg, OrnaPaperback3642017479 /
9783642017476
2009-05-12$52.24
Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, Tacas 2007 Held as Part of the Joint European Confer 2007 Edition (Lecture Notes in Computer Science)Grumberg, OrnaPaperback3540712089 /
9783540712084
2007-03-09$104.49
 
  (4 items found)