1.
Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June...
by Bouajjani, Ahmed, Maler, Oded
ISBN: 9783642026577
List Price: $119.00
2.
Automated Technology for Verification and Analysis : 8th International Symposium, ATVA 2010,...
by Bouajjani, Ahmed, Chin, Wei...
ISBN: 9783642156427
List Price: $95.00
3.
Formal Techniques for Disributed Objects, Components, and Systems : 37th IFIP WG 6. 1 Intern...
by Bouajjani, Ahmed, Silva, Al...
ISBN: 9783319602240
List Price: $94.00
4.
REAL-TIME SYSTEMS: Proceedings of 18th IEEE Symposium on, 2-5 December 1997, San Francisco, ...
by Klaus; Larsen, Kim G.; Boua...
ISBN: 9780818682698
OUT OF STOCK
See Availability on Amazon5.
Networked Systems : Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, ...
by Bouajjani, Ahmed, Fauconnie...
ISBN: 9783319268491
List Price: $107.00
6.
Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VM...
by Bouajjani, Ahmed, Monniaux,...
ISBN: 9783319522333
List Price: $189.00
7.
Automated Technology for Verification and Analysis : 20th International Symposium, ATVA 2022...
by Bouajjani, Ahmed, Hol�k, Lu...
ISBN: 9783031199912