David Pichardie - Böcker

Visar alla böcker från författaren David Pichardie.
2 produkter
David Pichardie, Mihaela Sighireanu - Static Analysis, Häftad

Static Analysis

Av David Pichardie, Mihaela Sighireanu

Häftad, Engelska, 2021

1 029 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