Hoppa till sidans huvudinnehåll

Conor McBride – författare

Visar alla böcker från författaren Conor McBride.
2 produkter
Sam Lindley, Conor McBride, Phil Trinder, Don Sannella - List of Successes That Can Change the World, Häftad
Del 9600 - Lecture Notes in Computer Science

List of Successes That Can Change the World

Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday

AvSam Lindley,Conor McBridem. fl.

Häftad, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar

Thorsten Altenkirch, Conor McBride - Types for Proofs and Programs, Häftad

Types for Proofs and Programs

International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

AvThorsten Altenkirch,Conor McBride

Häftad, Engelska, 2007

729 kr

Skickas inom 10-15 vardagar