David Pichardie – författare
Visar alla böcker från författaren David Pichardie. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
Del 12389 - Lecture Notes in Computer Science
Static Analysis
27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings
Häftad, Engelska, 2021
1 009 kr
Skickas inom 10-15 vardagar
Interactive Theorem Proving
4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings
Häftad, Engelska, 2013
719 kr
Skickas inom 10-15 vardagar