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