A Roadmap for Formal Property Verification Autor Pallab Dasgupta 19 oct 2010 Paperback Preț: 618.65 lei 727.82 lei 6-8 săpt. -15%
Integrated System-Level Modeling of Network-On-Chip Enabled Multi-Processor Platforms Autor Tim Kogel et al. 5 iul 2006 Hardback Preț: 938.05 lei 1143.97 lei 6-8 săpt. -18%
Measuring, Monitoring and Modeling Concrete Properties Editat de Maria S. Konsta-Gdoutos 5 iul 2006 Hardback Preț: 1198.64 lei 1461.76 lei 6-8 săpt. -18%