Formal Verification of Concurrent Embedded Software Autor Johannes Frederik Jesper Traub 2 mai 2016 Paperback Preț: 134.47 lei 168.08 lei 3-5 săpt. -20%