Tests and Proofs
Editat de Virgile Prevosto et al.
20 iul 2023
Paperback
Preț: 370.98 lei
6-8 săpt.
Cristina Seceleanu
Critical Systems: Formal Methods and Automated Verification
Editat de Laure Petrucci et al.
25 aug 2017
Paperback
Preț: 319.70 lei 399.63 lei
6-8 săpt.
-20%