Decidability of Parameterized Verification
Autor Roderick Bloem et al.
29 sep 2015
Paperback
Preț: 288.44 lei 360.55 lei
6-8 săpt.
-20%
Cărți de Roderick Bloem
Trusted Systems
Editat de Roderick Bloem et al.
11 noi 2013
Paperback
Preț: 311.78 lei 389.72 lei
6-8 săpt.
-20%
Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
Editat de Armin Biere et al.
4 aug 2014
Paperback
Preț: 649.69 lei 812.12 lei
6-8 săpt.
-20%
Handbook of Model Checking
Editat de Edmund M. Clarke et al.
8 iun 2018
Hardback
Preț: 1011.14 lei 1263.93 lei
17-23 zile | 6-10 zile
-20%
Hardware and Software: Verification and Testing: 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
Editat de Roderick Bloem et al.
noi 2016
Paperback
Preț: 316.59 lei 395.75 lei
6-8 săpt.
-20%
Software Verification
Editat de Roderick Bloem et al.
22 feb 2022
Paperback
Preț: 344.04 lei 430.06 lei
6-8 săpt.
-20%