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ț: 694.32 lei 867.90 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.24 lei 602.81 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ț: 292.65 lei 365.81 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ț: 324.09 lei 405.12 lei
6-8 săpt.
-20%