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