Filtre:

Cărți de Lawrence C. Paulson

Logic and Computation: Interactive Proof with Cambridge LCF

Cambridge Tracts in Theoretical Computer Science, nr. 2

Autor Lawrence C. Paulson

25 iul 1990

Preț: 386^.08 lei 482^.59 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%