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%

Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6172

Editat de Matt Kaufmann et al.

30 iun 2010

Preț: 632^.89 lei 791^.11 lei

3-5 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%