Yves Bertot - Böcker

Visar alla böcker från författaren Yves Bertot.

4 produkter

Böcker

4 produkter

Yves Bertot, Gérard Huet, Jean-Jacques Lévy, Gordon Plotkin, 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 - From Semantics to Computer Science, Inbunden

From Semantics to Computer Science

Av Yves Bertot, Gérard Huet, Jean-Jacques Lévy, Gordon Plotkin, 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

1 989 kr

Skickas inom 7-10 vardagar

Yves Bertot, Pierre Castéran - Interactive Theorem Proving and Program Development, Inbunden

Interactive Theorem Proving and Program Development

Av Yves Bertot, Pierre Castéran

Inbunden, Engelska, 2004

1 799 kr

Skickas imorgon

Del 1690

Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery - Theorem Proving in Higher Order Logics, Häftad

Del 1690 - Lecture Notes in Computer Science

Theorem Proving in Higher Order Logics

Av Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery

Häftad, Engelska, 1999

709 kr

Skickas inom 10-15 vardagar

Yves Bertot, Pierre Castéran - Interactive Theorem Proving and Program Development, Häftad

Interactive Theorem Proving and Program Development

Av Yves Bertot, Pierre Castéran

Häftad, Engelska, 2010

1 129 kr

Skickas inom 10-15 vardagar