Concise Guide to Software Verification
Autor Marieke Huisman et al.
25 iul 2023
Hardback
Preț: 523.04 lei 653.80 lei
38-44 zile
-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ț: 320.68 lei 400.85 lei
3-5 săpt. | 4-10 zile
-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ț: 699.94 lei 874.94 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ț: 454.57 lei 568.21 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ț: 523.37 lei 654.21 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ț: 354.38 lei 442.98 lei
6-8 săpt.
-20%