Catherine Dubois - Böcker
Visar alla böcker från författaren Catherine Dubois.
4 produkter
4 produkter
Del 13962 - Lecture Notes in Computer Science
Formal Methods Teaching
5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings
Häftad, Engelska, 2023
749 kr
Skickas inom 7-10 vardagar
Del 14101 - Lecture Notes in Computer Science
Intelligent Computer Mathematics
16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings
Häftad, Engelska, 2023
999 kr
Skickas inom 10-15 vardagar
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
Häftad, Engelska, 2018
709 kr
Skickas inom 10-15 vardagar
Tests and Proofs
Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings
Häftad, Engelska, 2009
709 kr
Skickas inom 10-15 vardagar