|
|

avaa valikko

Ahmed Bouajjani | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 6 tuotetta
Haluatko tarkentaa hakukriteerejä?



Bouajjani, Ahmed; Maler, Oded
Springer
2009
Pehmeäkantinen kirja
Computer Aided Verification : 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,90 €
Bouajjani, Ahmed; Chin, Wei-Ngan
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2010
Pehmeäkantinen kirja
Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, P
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Bouajjani, Ahmed; Fauconnier, Hugues
Springer
2016
Pehmeäkantinen kirja
Networked Systems : Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Bouajjani, Ahmed; Monniaux, David
Springer
2017
Pehmeäkantinen kirja
Verification, Model Checking, and Abstract Interpretation : 18th International Conference, VMCAI 2017, Paris, France,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Bouajjani, Ahmed; Silva, Alexandra
Springer International Publishing AG
2017
Pehmeäkantinen kirja
Formal Techniques for Distributed Objects, Components, and Systems - 37th IFIP WG 6.1 International Conference, FORTE 2017, Held
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Bouajjani, Ahmed; Holík, Lukáš; Wu, Zhilin
Springer
2022
Pehmeäkantinen kirja
Automated Technology for Verification and Analysis : 20th International Symposium, ATVA 2022, Virtual Event, October
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
76,00 €