Cărți de Lawrence C. Paulson

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ț: 658^.33 lei 822^.91 lei

3-5 săpt.

-20%

Isabelle/HOL: A Proof Assistant for Higher-Order Logic

Lecture Notes in Computer Science, nr. 2283

Autor Tobias Nipkow et al.

3 apr 2002

Preț: 359^.35 lei 449^.19 lei

6-8 săpt.

-20%

Isabelle: A Generic Theorem Prover

Lecture Notes in Computer Science, nr. 828

Autor Lawrence C. Paulson et al.

28 iul 1994

Preț: 335^.18 lei 418^.98 lei

6-8 săpt.

-20%

Logic and Computation: Interactive Proof with Cambridge LCF

Cambridge Tracts in Theoretical Computer Science, nr. 2

Autor Lawrence C. Paulson

25 iul 1990

Preț: 378^.32 lei 472^.90 lei

6-8 săpt.

-20%