Concise Guide to Software Verification: From Model Checking to Annotation Checking
Autor Marieke Huisman et al.
25 iul 2023
Hardback
Preț: 482.27 lei 602.84 lei
38-44 zile
-20%
Cărți de Marieke Huisman
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
Editat de Marieke Huisman et al.
10 iun 2023
Paperback
Preț: 471.89 lei 589.86 lei
6-8 săpt.
-20%
Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings
Editat de Jan Friso Groote et al.
12 aug 2022
Paperback
Preț: 472.73 lei 590.91 lei
6-8 săpt.
-20%
Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings
Editat de Marieke Huisman et al.
10 noi 2021
Paperback
Preț: 728.12 lei 910.15 lei
6-8 săpt.
-20%
Tools and Algorithms for the Construction and Analysis of Systems
Autor Bernhard Steffen et al.
7 oct 2020
Paperback
Preț: 265.50 lei 331.88 lei
6-8 săpt.
-20%
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
Editat de Dirk Beyer et al.
4 apr 2019
Paperback
Preț: 360.53 lei 450.66 lei
6-8 săpt.
-20%
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
Editat de Dirk Beyer et al.
12 apr 2018
Paperback
Preț: 368.45 lei 460.56 lei
6-8 săpt.
-20%
Fundamental Approaches to Software Engineering: 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Editat de Marieke Huisman et al.
22 mar 2017
Paperback
Preț: 340.49 lei 425.62 lei
6-8 săpt.
-20%
Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
Editat de Erika Ábrahám et al.
24 mai 2016
Paperback
Preț: 544.34 lei 680.42 lei
6-8 săpt.
-20%
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers
Editat de Gilles Barthe et al.
18 apr 2006
Paperback
Preț: 327.29 lei 409.11 lei
6-8 săpt.
-20%
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
Editat de Gilles Barthe et al.
21 ian 2005
Paperback
Preț: 386.81 lei
6-8 săpt.