Cărți de Conor McBride

A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

Lecture Notes in Computer Science, nr. 9600

Editat de Sam Lindley et al.

31 mar 2016

Preț: 332^.87 lei 416^.09 lei

43-57 zile

-20%

Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

Lecture Notes in Computer Science, nr. 4502

Editat de Thorsten Altenkirch et al.

oct 2007

Preț: 323^.10 lei 403^.87 lei

43-57 zile

-20%