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ț: 329.26 lei 411.57 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ț: 1117.34 lei 1362.61 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ț: 337.32 lei 421.66 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ț: 335.52 lei 419.39 lei
6-8 săpt.
-20%
Current Trends in Theoretical Computer Science: Essays and Tutorials
Editat de Grzegorz Rozenberg et al.
iun 1993
Hardback
Preț: 1018.31 lei 1272.88 lei
Se retipărește
-20%