Catherine Dubois – författare

Visar alla böcker från författaren Catherine Dubois.

4 produkter

1. 

   Formal Methods Teaching

   5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings

   Av Catherine Dubois, Pierluigi San Pietro

   Häftad, 2023

   779 kr

   Lägg i varukorg

2. 

   Intelligent Computer Mathematics

   16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings

   Av Catherine Dubois, Manfred Kerber

   Häftad, 2023

   1029 kr

   Lägg i varukorg

3. 

   Tests and Proofs

   12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

   Av Catherine Dubois, Burkhart Wolff

   Häftad, 2018

   729 kr

   Lägg i varukorg

4. 

   Tests and Proofs

   Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings

   Av Catherine Dubois

   Häftad, 2009

   729 kr

   Lägg i varukorg