Formal Methods and Software Engineering
Editat de Yi Li et al.
24 oct 2023
Paperback
Preț: 406.10 lei 507.64 lei
6-8 săpt.
-20%
Cărți de Sofiène Tahar
Formalized Probability Theory and Applications Using Theorem Proving
Autor Osman Hasan et al.
26 mar 2015
Hardback
Preț: 1050.78 lei 1364.66 lei
6-8 săpt.
-23%
Verification and Evaluation of Computer and Communication Systems
Editat de Kamel Barkaoui et al.
15 aug 2017
Paperback
Preț: 318.27 lei 397.84 lei
6-8 săpt.
-20%