Christine Paulin-Mohring - Böcker

Visar alla böcker från författaren Christine Paulin-Mohring.
4 produkter
Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner - Types for Proofs and Programs, Häftad

Types for Proofs and Programs

Av Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner

Häftad, Engelska, 2006

739 kr

Skickas inom 7-10 vardagar
Eduardo Gimenez, Christine Paulin-Mohring - Types for Proofs and Programs, Häftad
Del 1512 - Lecture Notes in Computer Science

Types for Proofs and Programs

Av Eduardo Gimenez, Christine Paulin-Mohring

Häftad, Engelska, 1998

739 kr

Skickas inom 7-10 vardagar
Philippe Audebaud, Christine Paulin-Mohring - Mathematics of Program Construction, Häftad

Mathematics of Program Construction

Av Philippe Audebaud, Christine Paulin-Mohring

Häftad, Engelska, 2008

739 kr

Skickas inom 7-10 vardagar
Sandrine Blazy, Christine Paulin-Mohring, David Pichardie - Interactive Theorem Proving, Häftad

Interactive Theorem Proving

Av Sandrine Blazy, Christine Paulin-Mohring, David Pichardie

Häftad, Engelska, 2013

739 kr

Skickas inom 7-10 vardagar