Filtre: Engleză Springer Berlin, Heidelberg

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ț: 632^.89 lei 791^.11 lei

22-36 zile

-20%

Isabelle: A Generic Theorem Prover

Lecture Notes in Computer Science, nr. 828

Autor Lawrence C. Paulson et al.

28 iul 1994

Preț: 322^.43 lei 403^.04 lei

43-57 zile

-20%