Formal Methods for Industrial Critical Systems Editat de Mariëlle Stoelinga et al. 17 iul 2012 Paperback Preț: 290.79 lei 363.48 lei 6-8 săpt. -20%
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings Lecture Notes in Computer Science, nr. 9707 Editat de Thierry Lecomte et al. 15 iun 2016 Paperback Preț: 318.48 lei 398.10 lei 6-8 săpt. -20%