Filtre:

Cărți de Claude Kirchner

Rewriting, Computation and Proof

Editat de Hubert Comon-Lundh et al.

22 iun 2007

Preț: 321^.74 lei 402^.18 lei

6-8 săpt.

-20%

Formal to Practical Security

Editat de Véronique Cortier et al.

25 mai 2009

Preț: 317^.47 lei 396^.84 lei

6-8 săpt.

-20%

Automated Deduction - CADE-15

Editat de Claude Kirchner et al.

24 iun 1998

Preț: 330^.58 lei 413^.22 lei

6-8 săpt.

-20%