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