Scalable Techniques for Formal Verification Autor Sandip Ray 25 mai 2010 Hardback Preț: 619.91 lei 729.31 lei 43-57 zile -15%