Formal Verification of Control System Software Autor Pierre-Loïc Garoche 14 mai 2019 Hardback Preț: 480.26 lei 3-5 săpt.