1.
2.
Programmverifikation: Sequentielle, parallele und verteilte Programme (Springer-Lehrbuch) (G...
by Apt, Krzysztof R., Olderog,...
ISBN: 9783540574798
List Price: $38.00
3.
4.
New Trends Constraints Joint Ercim/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 199...
by Apt, Krzysztof R., Kakas, A...
ISBN: 9783540678854
List Price: $69.95
5.
Logic Programming Languages Constraints, Functions, and Objects
by Apt, Krzysztof R., De Bakke...
ISBN: 9780262011341
List Price: $36.95
OUT OF STOCK
See Availability on Amazon6.
Logic Programming: The Joint [9th] International Conference & Symposium
by Apt, Krzysztof
ISBN: 9780262510646
List Price: $75.00
7.
New Perspectives on Games and Interaction
by Apt, Krzysztof, van Rooij, ...
ISBN: 9789089640574
List Price: $70.00
8.
Recent Advances In Constraints Joint ERCIM/CoLogNET International Workshop on Contraint Solv...
by Apt, Krzysztof R., Fages, F...
ISBN: 9783540218340
List Price: $69.95
9.
10.
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
by Apt, Krzysztof R., Boer, Fr...
ISBN: 9781848827448
List Price: $89.95
11.
Constraint Logic Programming Using Eclipse
by Apt, Krzysztof R., Wallace,...
ISBN: 9780521866286
List Price: $73.00
12.
Lectures in Game Theory for Computer Scientists
by Apt, Krzysztof R., Grädel, ...
ISBN: 9780521198660
List Price: $72.00
13.
Logic Programming Paradigm A 25-Year Perspective
by Apt, Krzysztof R., Marek, V...
ISBN: 9783540654636
List Price: $81.95
14.
Meta-Logics and Logic Programming
by Apt, Krzysztof, Turini, Franco
ISBN: 9780262011525
List Price: $52.95
15.
Meta-Logics and Logic Programming
by Apt, Krzysztof, Turini, Franco
ISBN: 9780262511681
List Price: $44.00
16.
Verification of Sequential and Concurrent Programs
by Apt, Krzysztof R., Boer, Fr...
ISBN: 9781848827455
OUT OF STOCK
See Availability on Amazon17.
Verification of Sequential and Concurrent Programs
by Apt, Krzysztof, Olderog, Er...
ISBN: 9781475727159
List Price: $24.99
OUT OF STOCK
See Availability on Amazon19.
Recent Advances in Constraints
by Apt, Krzysztof, Fages, Fran...
ISBN: 9783662192658
List Price: $24.99
OUT OF STOCK
See Availability on Amazon21.
Verification of Sequential and Concurrent Programs
by Apt, Krzysztof R., De Boer,...
ISBN: 9781848827462
List Price: $24.99
OUT OF STOCK
See Availability on Amazon23.
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
by Apt, Krzysztof R.
ISBN: 9781450307079
List Price: $99.00
OUT OF STOCK
See Availability on Amazon24.
Verification of Sequential and Concurrent Programs
by Apt, Krzysztof, Olderog, Er...
ISBN: 9781475743777
List Price: $24.99
OUT OF STOCK
See Availability on Amazon25.
Edsger Wybe Dijkstra: His Life, Work, and Legacy
by Apt, Krzysztof R., Hoare, Tony
ISBN: 9781450397711