Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings
Editat de Gwen Salaün et al.
5 noi 2021
Paperback
Preț: 287.32 lei 359.15 lei
6-8 săpt.
-20%
Cărți de Anton Wijs
Concise Guide to Software Verification: From Model Checking to Annotation Checking
Autor Marieke Huisman et al.
25 iul 2023
Hardback
Preț: 521.90 lei 652.38 lei
39-44 zile
-20%
Integrated Formal Methods: 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings
Editat de Paula Herber et al.
11 noi 2023
Paperback
Preț: 735.95 lei 919.93 lei
6-8 săpt.
-20%
Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings
Autor Thomas Neele et al.
9 sep 2024
Paperback
Preț: 372.87 lei
6-8 săpt.
Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
Editat de Dragan Bošnački et al.
8 apr 2016
Paperback
Preț: 318.17 lei 397.71 lei
6-8 săpt.
-20%