Inbunden, Engelska, 2022
719 kr
Skickas inom 5-8 vardagar
Antonio Cerone – författare
Visar alla böcker från författaren Antonio Cerone.
14 produkter
14 produkter
- Häftad, Engelska, 2023
549 kr
Skickas inom 5-8 vardagar
- Del 12232 - Lecture Notes in Computer Science
Formal Methods. FM 2019 International Workshops
Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I
Häftad, Engelska, 2020729 kr
Skickas inom 10-15 vardagar
- Del 12233 - Lecture Notes in Computer Science
Formal Methods. FM 2019 International Workshops
Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
Häftad, Engelska, 2020729 kr
Skickas inom 10-15 vardagar
- Del 12310 - Lecture Notes in Computer Science
Software Engineering and Formal Methods
18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings
Häftad, Engelska, 2020799 kr
Skickas inom 10-15 vardagar
- Del 1301 - Communications in Computer and Information Science
Formal Methods – Fun for Everybody
First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers
Häftad, Engelska, 2021689 kr
Skickas inom 10-15 vardagar
- Del 12819 - Lecture Notes in Computer Science
Theoretical Aspects of Computing – ICTAC 2021
18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings
Häftad, Engelska, 20211 089 kr
Skickas inom 10-15 vardagar
- Del 13230 - Lecture Notes in Computer Science
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers
Häftad, Engelska, 2022709 kr
Skickas inom 10-15 vardagar
- Del 13490 - Lecture Notes in Computer Science
Formal Methods for an Informal World
ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures
Häftad, Engelska, 2023729 kr
Skickas inom 10-15 vardagar
- Del 14618 - Lecture Notes in Computer Science
From Data to Models and Back
11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6–7, 2023, Revised Selected Papers
Häftad, Engelska, 20251 739 kr
Skickas inom 10-15 vardagar
- Del 10729 - Lecture Notes in Computer Science
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
Häftad, Engelska, 20181 079 kr
Skickas inom 10-15 vardagar
- Häftad, Engelska, 2006
729 kr
Skickas inom 10-15 vardagar
- Häftad, Engelska, 2011
729 kr
Skickas inom 10-15 vardagar
689 kr
Skickas inom 10-15 vardagar