The Calculus of Computation: Decision Procedures with Applications to Verification Autor Aaron R. Bradley et al. 3 sep 2007 Hardback Preț: 465.82 lei 582.27 lei 6-8 săpt. -20%
