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