Formal Verification of Control System Software Princeton Series in Applied Mathematics Autor Pierre–loïc Garoche 6 iun 2019 Hardback Preț: 478.05 lei 3-5 săpt.