Scalable Techniques for Formal Verification Autor Sandip Ray 25 mai 2010 Hardback Preț: 637.24 lei 749.69 lei 6-8 săpt. -15%