Ahmed Bouajjani – författare
Visar alla böcker från författaren .
6 produkter
6 produkter
Del 13505 - Lecture Notes in Computer Science
Automated Technology for Verification and Analysis
20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings
Häftad, Engelska, 2022
1 089 kr
Skickas inom 10-15 vardagar
Del 9466 - Lecture Notes in Computer Science
Networked Systems
Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers
Häftad, Engelska, 2016
729 kr
Skickas inom 10-15 vardagar
Del 10145 - Lecture Notes in Computer Science
Verification, Model Checking, and Abstract Interpretation
18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings
Häftad, Engelska, 2017
729 kr
Skickas inom 10-15 vardagar
Del 10321 - Lecture Notes in Computer Science
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
Häftad, Engelska, 2017
729 kr
Skickas inom 10-15 vardagar
Häftad, Engelska, 2009
1 449 kr
Skickas inom 10-15 vardagar
Häftad, Engelska, 2010
729 kr
Skickas inom 10-15 vardagar