Bernhard Reus – författare

Visar alla böcker från författaren Bernhard Reus.

2 produkter

1. 

   Limits of Computation

   From a Programming Perspective

   Av Bernhard Reus

   Häftad, 2016

   659 kr

   Lägg i varukorg

2. 

   Types for Proofs and Programs

   International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers

   Av Thorsten Altenkirch, Wolfgang Naraschewski m. fl.

   Häftad, 1999

   729 kr

   Lägg i varukorg