Specification, Modelling, Verification and Runtime Analysis of Real Time Systems Autor Georgios Logothetis 31 mar 2004 Paperback Preț: 464.27 lei 6-8 săpt.