Showing 1 - 2 of 2 Results
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