Filtre: Paperback

Cărți de Herman Geuvers

Types for Proofs and Programs

Editat de Herman Geuvers et al.

28 apr 2003

Preț: 337^.36 lei 421^.70 lei

43-57 zile

-20%

Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6898

Editat de Marko Van Eekelen et al.

2 aug 2011

Preț: 326^.55 lei 408^.19 lei

43-57 zile

-20%

Intelligent Computer Mathematics

Lecture Notes in Computer Science, nr. 10383

Editat de Herman Geuvers et al.

29 iun 2017

Preț: 327^.07 lei 408^.84 lei

43-57 zile

-20%