David Pichardie – författare

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

2 produkter

1. 

   Static Analysis

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

   Av David Pichardie, Mihaela Sighireanu

   Häftad, 2021

   1029 kr

   Lägg i varukorg

2. 

   Interactive Theorem Proving

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

   Av Sandrine Blazy, Christine Paulin-Mohring m. fl.

   Häftad, 2013

   739 kr

   Lägg i varukorg