Specification and Compositional Verification of Real-Time Systems Autor Jozef Hooman 27 noi 1991 Paperback Preț: 319.70 lei 399.63 lei 6-8 săpt. -20%