Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings
Editat de Martin Leucker et al.
29 iul 2009
Paperback
Preț: 324.99 lei 406.23 lei
6-8 săpt.
-20%
Cărți de Charles Carroll Morgan
Abstraction, Refinement and Proof for Probabilistic Systems
Autor Annabelle McIver et al.
19 noi 2004
Hardback
Preț: 959.72 lei 1199.64 lei
6-8 săpt.
-20%