Catherine Dubois – författare
Visar alla böcker från författaren Catherine Dubois. Handla med fri frakt och snabb leverans.
9 produkter
Formal Methods Teaching
5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings
Av Catherine Dubois, Pierluigi San Pietro
Häftad, 2023
604 kr
Lägg i varukorg
This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023, which was held in Lübeck, Germany, in March 2023.The 7 full papers presented in this volume were carefully reviewed and selected from 10 submissions. FMTea 2023 aim is to support a …
Formal Methods Teaching
5th International Workshop, FMTea 2023, Lubeck, Germany, March 6, 2023, Proceedings
Av Pierluigi San Pietro, Catherine Dubois
E-bok, 2023
815 kr
Lägg i varukorg
This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023, which was held in Lubeck, Germany, in March 2023.The 7 full papers presented in this volume were carefully reviewed and selected from 10 submissions. FMTea 2023 aim is to support a …
Intelligent Computer Mathematics
16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings
Av Catherine Dubois, Manfred Kerber
Häftad, 2023
798 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 16th International Conference on Intelligent Computer Mathematics, CICM 2023, held in Cambridge, UK, in September 2023.The 14 full papers, 2 project/survey papers, 6 short papers, and 1 tool paper presented were carefully reviewed and selected …
Intelligent Computer Mathematics
16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings
Av Manfred Kerber, Catherine Dubois
E-bok, 2023
1030 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 16th International Conference on Intelligent Computer Mathematics, CICM 2023, held in Cambridge, UK, in September 2023. The 14 full papers, 2 project/survey papers, 6 short papers, and 1 tool paper presented were carefully reviewed and selected …
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
566 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 12th International Conference on Tests and Proofs, TAP 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.The 8 regular papers, 2 short papers, 1 invited paper and 1 invited tutorial presented in this volume were carefully …
Tests and Proofs
12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings
Av Burkhart Wolff, Catherine Dubois
E-bok, 2018
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 12th International Conference on Tests and Proofs, TAP 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 8 regular papers, 2 short papers, 1 invited paper and 1 invited tutorial presented in this volume were carefully …
Tests and Proofs
Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings
Häftad, 2009
566 kr
Lägg i varukorg
1 This volume contains the research papers and invited papers presented at the Third International Conference on Tests and Proofs (TAP 2009) held at ETH Zurich, Switzerland, during July 2–3, 2009. TheTAPconferenceisdevotedtotheconvergenceofproofsandtests. Itc- bines ideasfromboth sidesforthe …
Tests and Proofs
Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings
E-bok, 2009
755 kr
Lägg i varukorg
1 This volume contains the research papers and invited papers presented at the Third International Conference on Tests and Proofs (TAP 2009) held at ETH Zurich, Switzerland, during July 2–3, 2009. TheTAPconferenceisdevotedtotheconvergenceofproofsandtests. Itc- bines ideasfromboth sidesforthe …
