Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings
Editat de Ahmed Bouajjani et al.
19 iun 2009
Paperback
Preț: 641.62 lei 802.03 lei
6-8 săpt.
-20%
Cărți de Ahmed Bouajjani
Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings
Editat de Ahmed Bouajjani et al.
3 sep 2010
Paperback
Preț: 326.55 lei 408.19 lei
3-5 săpt.
-20%
Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings
Editat de Ahmed Bouajjani et al.
12 ian 2017
Paperback
Preț: 333.22 lei 416.53 lei
6-8 săpt.
-20%
Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
Editat de Ahmed Bouajjani et al.
28 mai 2017
Paperback
Preț: 318.00 lei 397.50 lei
6-8 săpt.
-20%
Networked Systems: Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers
Editat de Ahmed Bouajjani et al.
24 mar 2016
Paperback
Preț: 332.10 lei 415.13 lei
6-8 săpt.
-20%
Automated Technology for Verification and Analysis
Editat de Ahmed Bouajjani et al.
23 oct 2022
Paperback
Preț: 462.67 lei 578.34 lei
3-5 săpt. | 7-13 zile
-20%