Formal Verification of Concurrent Embedded Software Kiel Computer Science Series 2016, nr. 1 Autor Johannes Frederik Jesper Traub 2 mai 2016 Paperback Preț: 134.47 lei 168.08 lei 22-36 zile -20%