Catherine Dubois – författare

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

4 produkter

Kategorier

4 produkter

Del 13962
Del 13962 - Lecture Notes in Computer Science
Formal Methods Teaching
5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings
AvCatherine Dubois,Pierluigi San Pietro
Häftad, Engelska, 2023
799 kr
Skickas inom 10-15 vardagar
Del 14101
Del 14101 - Lecture Notes in Computer Science
Intelligent Computer Mathematics
16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings
AvCatherine Dubois,Manfred Kerber
Häftad, Engelska, 2023
1 049 kr
Skickas inom 10-15 vardagar
Del 10889
Del 10889 - Lecture Notes in Computer Science
Tests and Proofs
12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
AvCatherine Dubois,Burkhart Wolff
Häftad, Engelska, 2018
749 kr
Skickas inom 10-15 vardagar
Tests and Proofs
Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings
AvCatherine Dubois
Häftad, Engelska, 2009
749 kr
Skickas inom 10-15 vardagar