Bernhard Reus - Böcker

Visar alla böcker från författaren Bernhard Reus.
2 produkter
Bernhard Reus - Limits of Computation, Häftad

Limits of Computation

Av Bernhard 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
Del 1657 - Lecture Notes in Computer Science

Types for Proofs and Programs

Av Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus

Häftad, Engelska, 1999

739 kr

Skickas inom 10-15 vardagar