Formal Verification of Control System Software Princeton Series in Applied Mathematics Autor Pierre–loïc Garoche 6 iun 2019 Hardback Preț: 478.05 lei 22-36 zile