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