CURRENTLY SOLD OUT

Systems and Software Verification by P. Schnoebelen, Michel Bidoit, L. Petrucci, A. Petit, B. Berard, A. Finkel, F. Laroussinie (Paperback, 2010)