Filtre:

Cărți de Lawrence C. Paulson

ML for the Working Programmer

Autor Lawrence C. Paulson et al.

30 noi 2009

Preț: 583^.80 lei 729^.76 lei

6-8 săpt.

-20%

Logic and Computation

Autor Lawrence C. Paulson et al.

9 iun 2003

Preț: 391^.01 lei 488^.77 lei

6-8 săpt.

-20%

Isabelle

Autor Lawrence C. Paulson

28 iul 1994

Preț: 324^.61 lei 405^.76 lei

6-8 săpt.

-20%

Isabelle/HOL

Autor Tobias Nipkow et al.

3 apr 2002

Preț: 346^.81 lei 433^.51 lei

6-8 săpt.

-20%