Antonio Cerone – författare
539 kr
Skickas inom 5-8 vardagar
408 kr
Skickas inom 5-8 vardagar
Formal Methods. FM 2019 International Workshops
Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I
558 kr
Skickas inom 10-15 vardagar
Formal Methods. FM 2019 International Workshops
Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
558 kr
Skickas inom 10-15 vardagar
613 kr
Skickas inom 10-15 vardagar
Formal Methods – Fun for Everybody
First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers
526 kr
Skickas inom 10-15 vardagar
Theoretical Aspects of Computing – ICTAC 2021
18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings
833 kr
Skickas inom 10-15 vardagar
542 kr
Skickas inom 10-15 vardagar
Formal Methods for an Informal World
ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures
558 kr
Skickas inom 10-15 vardagar
From Data to Models and Back
11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6–7, 2023, Revised Selected Papers
1 329 kr
Skickas inom 10-15 vardagar
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
822 kr
Skickas inom 10-15 vardagar
558 kr
Skickas inom 10-15 vardagar
558 kr
Skickas inom 10-15 vardagar
526 kr
Skickas inom 10-15 vardagar