Formal Methods for Software Engineering: Languages, Methods, Application Domains
Autor Markus Roggenbach et al.
24 iun 2023
Paperback
Preț: 342.21 lei 427.76 lei
3-5 săpt. | 10-14 zile
-20%
Cărți de Antonio Cerone
Theoretical Aspects of Computing -- ICTAC 2011: 8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings
Editat de Antonio Cerone et al.
12 aug 2011
Paperback
Preț: 409.85 lei 512.31 lei
3-5 săpt.
-20%
Formal Methods for an Informal World: ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures
Editat de Antonio Cerone
5 noi 2023
Paperback
Preț: 320.40 lei 400.49 lei
6-8 săpt.
-20%
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers
Editat de Antonio Cerone et al.
25 sep 2022
Paperback
Preț: 328.93 lei 411.17 lei
6-8 săpt.
-20%
Theoretical Aspects of Computing – ICTAC 2021: 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings
Editat de Antonio Cerone et al.
20 aug 2021
Paperback
Preț: 499.15 lei 623.94 lei
6-8 săpt.
-20%
Formal Methods – Fun for Everybody: First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers
Editat de Antonio Cerone et al.
11 mar 2021
Paperback
Preț: 377.13 lei
6-8 săpt.
Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings
Editat de Frank de Boer et al.
12 sep 2020
Paperback
Preț: 355.69 lei 444.61 lei
6-8 săpt.
-20%
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I
Editat de Emil Sekerinski et al.
13 aug 2020
Paperback
Preț: 337.67 lei 422.09 lei
6-8 săpt.
-20%
Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
Editat de Antonio Cerone et al.
3 feb 2018
Paperback
Preț: 476.36 lei 595.46 lei
38-44 zile
-20%
Information Technology and Open Source: Applications for Education, Innovation, and Sustainability: SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1–2, 2012 Revised Selected Papers
Editat de Antonio Cerone et al.
11 mar 2014
Paperback
Preț: 381.87 lei
6-8 săpt.
Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings
Editat de Kamel Barkaoui et al.
30 oct 2006
Paperback
Preț: 330.73 lei 413.41 lei
6-8 săpt.
-20%