Buy Used and New Ahmed Bouajjani Books

Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings: 5643 (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783642026577

Format: Paperback (722 pages)
Publisher: Springer
Published: 19 Jun 2009

Save for later

Networked Systems: Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers: 9466 (Lecture Notes in Computer Science)

by Ahmed Bouajjani,Hugues Fauconnier

ISBN 13: 9783319268491

Format: Paperback (556 pages)
Publisher: Springer
Published: 13 Dec 2015

Save for later