Interactive Systems. Design, Specification, and Verification Editat de T. C. Nicholas Graham et al. iul 2008 Paperback Preț: 323.60 lei 404.50 lei 6-8 săpt. -20%