Formal Methods for the Design of Real-Time Systems Editat de Marco Bernardo et al. sep 2004 Paperback Preț: 321.60 lei 402.00 lei 6-8 săpt. -20%