Model Checking Software Editat de Dragan Bošnački et al. 27 mar 2002 Paperback Preț: 333.74 lei 417.18 lei 6-8 săpt. -20%