Real-Time Systems: Formal Specification and Automatic Verification Autor Ernst-Rüdiger Olderog et al. 10 sep 2008 Hardback Preț: 605.51 lei 756.88 lei 6-8 săpt. -20%