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ț: 335^.74 lei 419^.67 lei

6-8 săpt.

-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ț: 325^.88 lei 407^.35 lei

6-8 săpt.

-20%