Tests and Proofs
Editat de Marieke Huisman et al.
10 sep 2024
Paperback
Preț: 732.49 lei 963.80 lei
38-44 zile
-24%
Concise Guide to Software Verification
Autor Marieke Huisman et al.
25 iul 2023
Hardback
Preț: 523.04 lei 653.80 lei
38-44 zile
-20%
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Editat de Gilles Barthe et al.
21 ian 2005
Paperback
Preț: 319.75 lei 399.68 lei
6-8 săpt.
-20%