Specification and Compositional Verification of Real-Time Systems Autor Jozef Hooman 27 noi 1991 Paperback Preț: 319.70 lei 399.63 lei 43-57 zile -20%