Hoppa till sidans huvudinnehåll

David Pichardie – författare

Visar alla böcker från författaren David Pichardie.
2 produkter
David Pichardie, Mihaela Sighireanu - Static Analysis, Häftad
Del 12389 - Lecture Notes in Computer Science

Static Analysis

27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings

AvDavid Pichardie,Mihaela Sighireanu

Häftad, Engelska, 2021

1 019 kr

Skickas inom 10-15 vardagar

Sandrine Blazy, Christine Paulin-Mohring, David Pichardie - Interactive Theorem Proving, Häftad

Interactive Theorem Proving

4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings

AvSandrine Blazy,Christine Paulin-Mohringm. fl.

Häftad, Engelska, 2013

729 kr

Skickas inom 10-15 vardagar