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
2 produkter
Logical Frameworks
Av Gerard 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 929 kr
Skickas inom 5-8 vardagar
From Semantics to Computer Science
Av Yves Bertot, 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, Gérard Huet, Jean-Jacques Lévy
Inbunden, Engelska, 2009
2 009 kr
Skickas inom 7-10 vardagar