1.
Systems and Software Verification Model-Checking Techniques and Tools
by Berard, Beatrice, Bidoit, M...
ISBN: 9783540415237
List Price: $79.95
2.
Systemes D'exploitation Concepts Et Algorithmes
by Beatrice Berard Joffroy Bea...
ISBN: 9782840740254