Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration
Editat de Véronique Cortier et al.
25 mai 2009
Paperback
Preț: 374.91 lei
6-8 săpt.
Cărți de Claude Kirchner
Automated Deduction - CADE-15
Editat de Claude Kirchner et al.
24 iun 1998
Paperback
Preț: 329.56 lei 411.95 lei
6-8 săpt.
-20%
Rewriting, Computation and Proof
Editat de Hubert Comon-Lundh et al.
22 iun 2007
Paperback
Preț: 320.76 lei 400.94 lei
6-8 săpt.
-20%