David Pichardie - Böcker

Visar alla böcker från författaren David Pichardie.

2 produkter

Kategorier

2 produkter

Static Analysis

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

AvDavid Pichardie,Mihaela Sighireanu

Häftad, Engelska, 2021

999 kr

Skickas inom 10-15 vardagar

Interactive Theorem Proving

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

AvSandrine Blazy,Christine Paulin-Mohring m. fl.

Häftad, Engelska, 2013

719 kr

Skickas inom 10-15 vardagar