Catherine Dubois - Böcker

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

Av Catherine Dubois, Pierluigi San Pietro m. fl

Häftad, Engelska, 2023

779 kr

Skickas inom 7-10 vardagar

Intelligent Computer Mathematics

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

Av Catherine Dubois, Manfred Kerber m. fl

Häftad, Engelska, 2023

1 029 kr

Skickas inom 7-10 vardagar

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 m. fl

Häftad, Engelska, 2018

739 kr

Skickas inom 10-15 vardagar

Tests and Proofs

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

Av Catherine Dubois, Catherine DuBois

Häftad, Engelska, 2009

739 kr

Skickas inom 10-15 vardagar