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