|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference, Hvc 2014, Haifa, Israel, November 18-20, 2014, Proc 2014 Edition (Lecture Notes in Computer Science / Programming and Software) | Yahav, Eran | Paperback | 3319133373 /
9783319133379 | 11/2014 | $52.24 |
|  | Programming with "Big Code" (Foundations and Trends(r) in Programming Languages) | Vechev, Martin | Paperback | 1680832301 /
9781680832303 | 12/2016 | $52.25 |
|  | Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011, Proceedings (Lecture Notes in Computer Science) | Yahav, Eran | Paperback | 3642237010 /
9783642237010 | 09/2011 | $52.24 |
|
|
|