David Pichardie – författare
Visar alla böcker från författaren David Pichardie. Handla med fri frakt och snabb leverans.
4 produkter
Static Analysis
27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings
Av David Pichardie, Mihaela Sighireanu
Häftad, 2021
792 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 27th International Symposium on Static Analysis, SAS 2020, held in Chicago, IL, USA, in November 2020.The 14 regular papers presented in this book together with 2 invited talks and 1 extended abstract, were carefully reviewed and selected from …
Static Analysis
27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings
Av Mihaela Sighireanu, David Pichardie
E-bok, 2021
1007 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 27th International Symposium on Static Analysis, SAS 2020, held in Chicago, IL, USA, in November 2020. The 14 regular papers presented in this book together with 2 invited talks and 1 extended abstract, were carefully reviewed and selected from …
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
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013. The 26 regular full papers presented together with 7 rough diamond papers, 3 invited talks, and 2 invited tutorials were carefully …
Interactive Theorem Proving
4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings
Av David Pichardie, Christine Paulin-Mohring m. fl.
E-bok, 2013
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013. The 26 regular full papers presented together with 7 rough diamond papers, 3 invited talks, and 2 invited tutorials were carefully …
