Systems and Software Verification: Model-Checking Techniques and Tools Autor B. Berard et al. 20 iun 2001 Hardback Preț: 893.81 lei 1117.26 lei 6-8 săpt. -20%