Formal Methods for Open Object-Based Distributed Systems IFIP Advances in Information and Communication Technology, nr. 10 Editat de Paolo Ciancarini et al. 17 ian 2013 Paperback Preț: 1284.94 lei 1606.17 lei 6-8 săpt. -20%
Formal Methods for Industrial Critical Systems Editat de Darren Cofer et al. 20 iul 2009 Paperback Preț: 319.28 lei 399.10 lei 6-8 săpt. -20%
Software Engineering for Resilient Systems Lecture Notes in Computer Science, nr. 9274 Editat de Alessandro Fantechi et al. 19 aug 2015 Paperback Preț: 259.94 lei 324.93 lei 6-8 săpt. -20%
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Lecture Notes in Computer Science, nr. 10598 Editat de Alessandro Fantechi et al. 20 oct 2017 Paperback Preț: 334.19 lei 417.74 lei 6-8 săpt. -20%