Hoppa till sidans huvudinnehåll

Ahmed Bouajjani – författare

Visar alla böcker från författaren Ahmed Bouajjani.
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

AvAhmed Bouajjani,Lukáš Holíkm. fl.

Häftad, Engelska, 2022

1 069 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

AvAhmed Bouajjani,Hugues Fauconnier

Häftad, Engelska, 2016

719 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

AvAhmed Bouajjani,David Monniaux

Häftad, Engelska, 2017

719 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

AvAhmed Bouajjani,Alexandra Silva

Häftad, Engelska, 2017

719 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings

AvAhmed Bouajjani,Oded Maler

Häftad, Engelska, 2009

1 419 kr

Skickas inom 10-15 vardagar

Automated Technology for Verification and Analysis

8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings

AvAhmed Bouajjani,Wei-Ngan Chin

Häftad, Engelska, 2010

719 kr

Skickas inom 10-15 vardagar