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ț: 708.67 lei 885.83 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ț: 482.27 lei 602.84 lei
38-44 zile
-20%
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ț: 298.64 lei 373.31 lei
6-8 săpt.
-20%
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ț: 330.75 lei 413.44 lei
6-8 săpt.
-20%