Cărți de Furio Honsell

Types for Proofs and Programs

Editat de Marino Miculan et al.

26 mai 2008

Preț: 317^.08 lei 396^.35 lei

6-8 săpt.

-20%

Frontiers of Fundamental Physics: Proceedings of the Sixth International Symposium

Editat de B. G. Sidharth et al.

24 mar 2006

Preț: 921^.95 lei 1124^.33 lei

6-8 săpt.

-18%

Foundations of Software Science and Computation Structures: 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings

Lecture Notes in Computer Science, nr. 2030

Editat de Furio Honsell et al.

21 mar 2001

Preț: 339^.87 lei 424^.84 lei

6-8 săpt.

-20%