Hoppa till sidans huvudinnehåll

Catherine Dubois – författare

Visar alla böcker från författaren .
4 produkter
Catherine Dubois, Pierluigi San Pietro - Formal Methods Teaching, Häftad
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

769 kr

Skickas inom 10-15 vardagar

Catherine Dubois, Manfred Kerber - Intelligent Computer Mathematics, Häftad
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 019 kr

Skickas inom 10-15 vardagar

Catherine Dubois, Burkhart Wolff - Tests and Proofs, Häftad
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

729 kr

Skickas inom 10-15 vardagar

Catherine Dubois - Tests and Proofs, Häftad

Tests and Proofs

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

AvCatherine Dubois

Häftad, Engelska, 2009

729 kr

Skickas inom 10-15 vardagar