Formal Verification of Control System Software Garoche, Pierre-Loic 9780691181301 Princeton Series in Applied Mathematics Innbundet 14.05.2019 Engelsk I salg