Ahmed Bouajjani – författare
Visar alla böcker från författaren Ahmed Bouajjani. Handla med fri frakt och snabb leverans.
12 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
850 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 20th International Symposium on Automated Technology for Verification and Analysis, ATVA 2022, held in Beiging, China in October 2022. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, …
Automated Technology for Verification and Analysis
20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings
Av Zhilin Wu, Lukas Holik m. fl.
E-bok, 2022
1091 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 20th International Symposium on Automated Technology for Verification and Analysis, ATVA 2022, held in Beiging, China in October 2022. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, …
Networked Systems
Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers
Av Ahmed Bouajjani, Hugues Fauconnier
Häftad, 2016
569 kr
Lägg i varukorg
This bookconstitutes the revised selected papers of the Third International Conferenceon Networked Systems, NETYS 2015, held in Agadir, Morocco, in May 2015. The 29full papers and 12 short papers presented together with 22 poster abstractswere carefully reviewed and selected from 133 submissions. …
Networked Systems
Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers
Av Hugues Fauconnier, Ahmed Bouajjani
E-bok, 2016
739 kr
Lägg i varukorg
This bookconstitutes the revised selected papers of the Third International Conferenceon Networked Systems, NETYS 2015, held in Agadir, Morocco, in May 2015. The 29full papers and 12 short papers presented together with 22 poster abstractswere carefully reviewed and selected from 133 submissions. …
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
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, held in Paris, France, in January 2017.The 27 full papers together with 3 invited keynotes presented were carefully reviewed and selected …
Verification, Model Checking, and Abstract Interpretation
18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings
Av David Monniaux, Ahmed Bouajjani
E-bok, 2017
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, held in Paris, France, in January 2017. The 27 full papers together with 3 invited keynotes presented were carefully reviewed and selected …
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
569 kr
Lägg i varukorg
This book constitutes the proceedings of the 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2017, held in Neuchâtel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing …
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 Alexandra Silva, Ahmed Bouajjani
E-bok, 2017
739 kr
Lägg i varukorg
This book constitutes the proceedings of the 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2017, held in Neuchâtel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing …
Computer Aided Verification
21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings
Av Ahmed Bouajjani, Oded Maler
Häftad, 2009
1131 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in June/July 2009. The 36 revised full papers presented together with 16 tool papers and 4 invited talks and 4 invited tutorials were carefully …
Computer Aided Verification
21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings
Av Oded Maler, Ahmed Bouajjani
E-bok, 2009
1502 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in June/July 2009. The 36 revised full papers presented together with 16 tool papers and 4 invited talks and 4 invited tutorials were carefully …
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
569 kr
Lägg i varukorg
These proceedings contain the papers presented at the 8th Internationl S- posium on Automated Technology for Veri?cation and Analysis held during September 21-24, 2010 in Singapore. The primary objective of the ATVA c- ferences remains the same: to exchange and promote the latest advances of …
Automated Technology for Verification and Analysis
8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings
Av Wei-Ngan Chin, Ahmed Bouajjani
E-bok, 2010
755 kr
Lägg i varukorg
