Specification and Compositional Verification of Real-Time Systems Lecture Notes in Computer Science, nr. 558 Autor Jozef Hooman 27 noi 1991 Paperback Preț: 317.68 lei 397.10 lei 43-57 zile -20%
