String Analysis for Software Verification and Security
Autor Tevfik Bultan et al.
6 iun 2019
Paperback
Preț: 396.57 lei 495.71 lei
6-8 săpt.
-20%
Cărți de Tevfik Bultan
Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings
Editat de Tevfik Bultan et al.
21 sep 2011
Paperback
Preț: 332.10 lei 415.13 lei
6-8 săpt.
-20%
Web Services and Formal Methods
Editat de Mario Bravetti et al.
31 mar 2011
Paperback
Preț: 317.04 lei 396.30 lei
6-8 săpt.
-20%