Tests and Proofs: First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers
Editat de Bertrand Meyer et al.
9 aug 2007
Paperback
Preț: 311.99 lei 389.98 lei
6-8 săpt.
-20%
Cărți de Yuri Gurevich
The Classical Decision Problem
Autor Egon Börger et al.
28 aug 2001
Paperback
Preț: 1058.20 lei 1290.49 lei
6-8 săpt.
-18%
Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings
Editat de Yuri Gurevich et al.
23 aug 2000
Paperback
Preț: 319.62 lei 399.53 lei
6-8 săpt.
-20%
Computer Science Logic: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers
Editat de Egon Börger et al.
20 iul 1994
Paperback
Preț: 317.91 lei 397.38 lei
6-8 săpt.
-20%
Current Trends in Theoretical Computer Science: Essays and Tutorials
Editat de Grzegorz Rozenberg et al.
31 mai 1993
Hardback
Preț: 1018.31 lei 1272.88 lei
Se retipărește
-20%