Buy Used and New Ahmed Bouajjani Books

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

Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings: 10145 (Lecture Notes in Computer Science)

by Ahmed Bouajjani, David Monniaux

ISBN 13: 9783319522333

Format: Paperback (580 pages)
Publisher: Springer
Published: 12 Jan 2017

Save for later

Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th ... 10321 (Lecture Notes in Computer Science)

by Ahmed Bouajjani, Alexandra Silva

ISBN 13: 9783319602240

Format: Paperback (260 pages)
Publisher: Springer
Published: 28 May 2017

Save for later