|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Logics and Models of Concurrent Systems Softcover Repri Edition (NATO Asi Subseries F:) | Apt, Krzysztof R. | Paperback | 3642824552 /
9783642824555 | 12/2011 | $104.49 |
|  | New Trends in Constraints: Joint Ercim/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers 2000 Edition (Lecture Notes in Computer Science) | Apt, Krzysztof R. | Paperback | 3540678859 /
9783540678854 | 08/2000 | $52.24 |
|  | Programmverifikation: Sequentielle, Parallele Und Verteilte Programme 1994 Edition (Springer-Lehrbuch) (German) | Apt, Krzysztof R. | Paperback | 3540574794 /
9783540574798 | 03/1994 | $37.95 |
|  | Recent Advances in Constraints: Joint Ercim/Colognet International Workshop on Constraint Solving and Constraint Logic Programming, Csclp 2003, Budape 2004 Edition (Lecture Notes) | Apt, Krzysztof R. | Paperback | 3540218343 /
9783540218340 | 04/2004 | $52.24 |
|  | The Logic Programming Paradigm: A 25-Year Perspective Softcover Repri Edition (Artificial Intelligence) | Apt, Krzysztof R. | Paperback | 3642642497 /
9783642642494 | 09/2011 | $104.49 |
|  | Verification of Sequential and Concurrent Programs 2009, Corr. 3rd Edition (Texts in Computer Science) | Apt, Krzysztof R. | Hardcover | 184882744X /
9781848827448 | 10/2009 | $104.49 |
|  | Verification of Sequential and Concurrent Programs (Texts in Computer Science) | Apt, Krzysztof R. | Paperback | 1447125134 /
9781447125136 | 03/2012 | $85.49 |
|
|
|