Bernhard Reus – författare

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

2 produkter

Kategorier

2 produkter

Bernhard Reus - Limits of Computation, Häftad

Limits of Computation

From a Programming Perspective

AvBernhard Reus

Häftad, Engelska, 2016

649 kr

Skickas inom 10-15 vardagar

Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus - Types for Proofs and Programs, Häftad

Types for Proofs and Programs

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

AvThorsten Altenkirch,Wolfgang Naraschewskim. fl.

Häftad, Engelska, 1999

729 kr

Skickas inom 10-15 vardagar