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