Bernhard Reus - Böcker

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

2 produkter

Kategorier

2 produkter

Limits of Computation

From a Programming Perspective

AvBernhard Reus

Häftad, Engelska, 2016

619 kr

Skickas inom 10-15 vardagar

Types for Proofs and Programs

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

AvThorsten Altenkirch,Wolfgang Naraschewski m. fl.

Häftad, Engelska, 1999

709 kr

Skickas inom 10-15 vardagar