Verification of Sequential and Concurrent Programs
Autor Krzysztof R. Apt et al.
14 mar 2012
Paperback
Preț: 532.02 lei 665.03 lei
43-57 zile
-20%
Cărți de Krzysztof R. Apt
Logics and Models of Concurrent Systems
Editat de Krzysztof R. Apt
30 dec 2011
Paperback
Preț: 646.30 lei 807.87 lei
43-57 zile
-20%
The Logic Programming Paradigm: A 25-Year Perspective
Editat de Krzysztof R. Apt et al.
19 sep 2011
Paperback
Preț: 641.31 lei 801.63 lei
43-57 zile
-20%
Lectures in Game Theory for Computer Scientists
Editat de Krzysztof R. Apt et al.
5 ian 2011
Hardback
Preț: 779.01 lei 973.76 lei
43-57 zile
-20%
Constraint Logic Programming using Eclipse
Autor Krzysztof R. Apt et al.
20 dec 2006
Hardback
Preț: 544.40 lei 611.69 lei
43-57 zile
-11%
Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers
Editat de Krzysztof R. Apt et al.
7 apr 2004
Paperback
Preț: 325.88 lei 407.35 lei
43-57 zile
-20%
New Trends in Constraints: Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers
Editat de Krzysztof R. Apt et al.
23 aug 2000
Paperback
Preț: 328.63 lei 410.78 lei
43-57 zile
-20%
Programmverifikation: Sequentielle, parallele und verteilte Programme
Autor Krzysztof R. Apt et al.
21 mar 1994
Paperback
Preț: 236.52 lei 295.65 lei
43-57 zile
-20%