A Roadmap for Formal Property Verification
Autor Pallab Dasgupta
5 iul 2006
Hardback
Preț: 647.34 lei 761.57 lei
6-8 săpt.
-15%
Cărți editura Springer Netherland
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
19 noi 2010
Paperback
Preț: 1207.86 lei 1473.00 lei
6-8 săpt.
-18%