Rocquencourt) Huet, Gerard (Institut National de Recherche en Informatique et en Automatique (INRIA) - Böcker

Visar alla böcker från författaren Rocquencourt) Huet, Gerard (Institut National de Recherche en Informatique et en Automatique (INRIA).

2 produkter

Kategorier

2 produkter

Logical Frameworks

Av Gerard Huet, G. Plotkin m. fl

Inbunden, Engelska, 1991

1 589 kr

Skickas inom 10-15 vardagar

From Semantics to Computer Science

Essays in Honour of Gilles Kahn

Av Yves Bertot, Gérard Huet m. fl

Inbunden, Engelska, 2009

1 969 kr

Skickas inom 10-15 vardagar