Theoretical Aspects of Computing - ICTAC 2008 Editat de John S. Fitzgerald et al. 18 aug 2008 Paperback Preț: 330.96 lei 413.70 lei 43-57 zile -20%
Formal Methods for Industrial Critical Systems Editat de Anne E. Haxthausen et al. 21 aug 2024 Paperback Preț: 374.44 lei 468.04 lei 43-57 zile -20%
Applicable Formal Methods for Safe Industrial Products Editat de Anne E. Haxthausen et al. 17 aug 2023 Paperback Preț: 482.86 lei 603.57 lei 43-57 zile -20%
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Lecture Notes in Computer Science Editat de Simon Collart-Dutilleul et al. 21 mai 2022 Paperback Preț: 401.18 lei 501.48 lei 43-57 zile -20%