Thomas Streicher - Böcker

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

2 produkter

Kategorier

2 produkter

Semantics of Type Theory

Correctness, Completeness and Independence Results

Av T. Streicher, Thomas Streicher

Häftad, Engelska, 2012

1 199 kr

Skickas inom 10-15 vardagar

Domain-theoretic Foundations Of Functional Programming

Av Thomas Streicher, Germany) Streicher, Thomas (Technische Univ Darmstadt m. fl

Inbunden, Engelska, 2006

739 kr

Tillfälligt slut