Filtre: Engleză Tipărit la comandă

Cărți de Lawrence C. Paulson

Isabelle/HOL

Autor Tobias Nipkow et al.

3 apr 2002

Preț: 345^.48 lei 431^.85 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ț: 322^.43 lei 403^.04 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ț: 384^.58 lei 480^.73 lei

6-8 săpt.

-20%