Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
Editat de Matt Kaufmann et al.
30 iun 2010
Paperback
Preț: 632.89 lei 791.11 lei
22-36 zile
-20%
Cărți de Lawrence C. Paulson
Logic and Computation: Interactive Proof with Cambridge LCF
Autor Lawrence C. Paulson
25 iul 1990
Paperback
Preț: 384.58 lei 480.73 lei
43-57 zile
-20%
Isabelle/HOL
Autor Tobias Nipkow et al.
3 apr 2002
Paperback
Preț: 345.48 lei 431.85 lei
43-57 zile
-20%
Isabelle: A Generic Theorem Prover
Autor Lawrence C. Paulson et al.
28 iul 1994
Paperback
Preț: 322.43 lei 403.04 lei
43-57 zile
-20%