Formal Methods for Industrial Critical Systems Editat de Mariëlle Stoelinga et al. 17 iul 2012 Paperback Preț: 303.32 lei 379.14 lei 6-8 săpt. -20%
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Lecture Notes in Computer Science, nr. 9707 Editat de Thierry Lecomte et al. 15 iun 2016 Paperback Preț: 320.50 lei 400.63 lei 6-8 săpt. -20%