Marieke Huisman - Böcker
819 kr
Skickas inom 5-8 vardagar
909 kr
Skickas inom 5-8 vardagar
Tools and Algorithms for the Construction and Analysis of Systems
25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
719 kr
Skickas inom 10-15 vardagar
Formal Methods
24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings
1 579 kr
Skickas inom 10-15 vardagar
Formal Methods for Industrial Critical Systems
27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings
1 009 kr
Skickas inom 10-15 vardagar
Concise Guide to Software Verification
From Model Checking to Annotation Checking
1 189 kr
Skickas inom 10-15 vardagar
Concise Guide to Software Verification
From Model Checking to Annotation Checking
839 kr
Skickas inom 10-15 vardagar
Formal Techniques for Distributed Objects, Components, and Systems
43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings
1 009 kr
Skickas inom 10-15 vardagar
Tests and Proofs
18th International Conference, TAP 2024, Milan, Italy, September 9–10, 2024, Proceedings
1 929 kr
Skickas inom 10-15 vardagar
Integrated Formal Methods
12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
1 149 kr
Skickas inom 10-15 vardagar
Tools and Algorithms for the Construction and Analysis of Systems
24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
719 kr
Skickas inom 10-15 vardagar
Tools and Algorithms for the Construction and Analysis of Systems
24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
719 kr
Skickas inom 10-15 vardagar
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
719 kr
Skickas inom 10-15 vardagar
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers
719 kr
Skickas inom 10-15 vardagar