Verification of Sequential and Concurrent Programs
Autor Krzysztof R. Apt et al.
14 mar 2012
Paperback
Preț: 542.99 lei 678.73 lei
6-8 săpt.
-20%
Cărți de Krzysztof R. Apt
Logics and Models of Concurrent Systems
Editat de Krzysztof R. Apt
30 dec 2011
Paperback
Preț: 659.63 lei 824.54 lei
6-8 săpt.
-20%
The Logic Programming Paradigm: A 25-Year Perspective
Editat de Krzysztof R. Apt et al.
19 sep 2011
Paperback
Preț: 654.55 lei 818.18 lei
6-8 săpt.
-20%
Lectures in Game Theory for Computer Scientists
Editat de Krzysztof R. Apt et al.
5 ian 2011
Hardback
Preț: 795.12 lei 993.90 lei
6-8 săpt.
-20%
Constraint Logic Programming using Eclipse
Autor Krzysztof R. Apt et al.
20 dec 2006
Hardback
Preț: 555.62 lei 624.29 lei
6-8 săpt.
-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ț: 332.57 lei 415.71 lei
6-8 săpt.
-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ț: 335.36 lei 419.20 lei
6-8 săpt.
-20%
Programmverifikation: Sequentielle, parallele und verteilte Programme
Autor Krzysztof R. Apt et al.
21 mar 1994
Paperback
Preț: 241.44 lei 301.80 lei
6-8 săpt.
-20%