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

AvGerard Huet,G. Plotkin,Rocquencourt) Huet, Gerard (Institut National de Recherche en Informatique et en Automatique (INRIA),G. (University of Edinburgh) Plotkin

Inbunden, Engelska, 1991

1 539 kr

Skickas inom 7-10 vardagar

From Semantics to Computer Science

Essays in Honour of Gilles Kahn

AvYves Bertot,Gérard Huet,Jean-Jacques Lévy,Gordon Plotkin,Gérard Huet,Jean-Jacques Lévy,Rocquencourt) Huet, Gerard (Institut National de Recherche en Informatique et en Automatique (INRIA),Rocquencourt) Levy, Jean-Jacques (Institut National de Recherche en Informatique et en Automatique (INRIA),Gordon (University of Edinburgh) Plotkin

Inbunden, Engelska, 2009

1 909 kr

Skickas inom 7-10 vardagar