Cărți de Marko Van Eekelen

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%

Foundational and Practical Aspects of Resource Analysis

Editat de Ricardo Peña et al.

13 iul 2012

Preț: 286^.49 lei 358^.12 lei

43-57 zile

-20%