Automated Technology for Verification and Analysis
Editat de Shuvendu K. Lahiri et al.
30 sep 2018
Paperback
Preț: 371.00 lei 463.75 lei
38-44 zile
-20%
Shuvendu K. Lahiri
Computer Aided Verification
Editat de Shuvendu K. Lahiri et al.
16 iul 2020
Paperback
Preț: 287.17 lei 358.96 lei
6-8 săpt.
-20%