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 6-8 săpt. -20%
