Ahmed Bouajjani – författare
Visar alla böcker från författaren Ahmed Bouajjani.
6 produkter
Automated Technology for Verification and Analysis
20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings
Av Ahmed Bouajjani, Lukáš Holík m. fl.
Häftad, 2022
1109 kr
Lägg i varukorg
Networked Systems
Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers
Av Ahmed Bouajjani, Hugues Fauconnier
Häftad, 2016
739 kr
Lägg i varukorg
Verification, Model Checking, and Abstract Interpretation
18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings
Av Ahmed Bouajjani, David Monniaux
Häftad, 2017
739 kr
Lägg i varukorg
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
Av Ahmed Bouajjani, Alexandra Silva
Häftad, 2017
739 kr
Lägg i varukorg
Computer Aided Verification
21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings
Av Ahmed Bouajjani, Oded Maler
Häftad, 2009
1469 kr
Lägg i varukorg
Automated Technology for Verification and Analysis
8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings
Av Ahmed Bouajjani, Wei-Ngan Chin
Häftad, 2010
739 kr
Lägg i varukorg