Model Checking Software Editat de Dragan Bošnački et al. 21 iun 2007 Paperback Preț: 321.17 lei 401.46 lei 6-8 săpt. -20%