Filtrera

Ämne
  • (6)
  • (1)
  • (5)
Format
  • (2)
  • (3)
  • (2)
Leveranstid
  • (3)

Yves Bertot - Böcker

Visar alla böcker av Yves Bertot. Handla med fri frakt och snabb leverans!

Sortering:
  1. From Semantics to Computer Science E-bok

    av Yves Bertot, Gerard Huet, Jean-Jacques Levy, Gordon Plotkin

    E-bok, Engelska, 2009-09-24
    1568
    Ladda ned och läs i e-boksläsare.
  2. From Semantics to Computer Science

    av Yves Bertot

    Inbunden, Engelska, 2009-09-24
    1575
    Skickas inom 7-10 vardagar.
  3. Interactive Theorem Proving and Program Development

    av Yves Bertot, Pierre Casteran

    Inbunden, Engelska, 2004-05-01
    1544
    Skickas inom 7-10 vardagar.
  4. Theorem Proving in Higher Order Logics E-bok

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

    E-bok, Engelska, 2003-07-31
    1107
    Ladda ned och läs i e-boksläsare.
  5. Theorem Proving in Higher Order Logics

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

    Häftad, Engelska, 1999-09-01
    720
    Skickas inom 7-10 vardagar.
  6. Interactive Theorem Proving and Program Development

    av Yves Bertot, Pierre Casteran

    Häftad, Engelska, 2010-12-15
    1083
    Skickas inom 7-10 vardagar.
  7. Interactive Theorem Proving and Program Development E-bok

    av Yves Bertot, G Huet, Pierre Casteran, C Paulin-Mohring

    E-bok, Engelska, 2013-03-14
    1076
    Ladda ned och läs i e-boksläsare.