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ț: 329^.60 lei 412^.00 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ț: 319^.92 lei 399^.90 lei

6-8 săpt.

-20%