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%
Tools and Algorithms for the Construction and Analysis of Systems
Autor Bernhard Steffen et al.
7 oct 2020
Paperback
Preț: 255.49 lei 319.36 lei
6-8 săpt.
-20%