Concise Guide to Software Verification: From Model Checking to Annotation Checking
Autor Marieke Huisman et al.
25 iul 2023
Hardback
Preț: 521.50 lei 651.87 lei
38-44 zile
-20%
Cărți de Anton Wijs
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%
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%