Sandrine Blazy - Böcker

Visar alla böcker från författaren Sandrine Blazy.
4 produkter
Sandrine Blazy, Marsha Chechik - Verified Software. Theories, Tools, and Experiments, Häftad

Verified Software. Theories, Tools, and Experiments

Av Sandrine Blazy, Marsha Chechik

Häftad, Engelska, 2016

729 kr

Skickas inom 10-15 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

729 kr

Skickas inom 10-15 vardagar
Sandrine Blazy, Thomas Jensen - Static Analysis, Häftad

Static Analysis

Av Sandrine Blazy, Thomas Jensen

Häftad, Engelska, 2015

729 kr

Skickas inom 10-15 vardagar
Blazy-S, BLAZY-S, Sandrine Blazy - S�mantiques Formelles, Häftad

S�mantiques Formelles

Av Blazy-S, BLAZY-S, Sandrine Blazy

Häftad, Franska, 2018

909 kr

Skickas inom 5-8 vardagar