Formal Verification of Concurrent Embedded Software Kiel Computer Science Series 2016, nr. 1 Autor Johannes Frederik Jesper Traub 2 mai 2016 Paperback Preț: 141.90 lei 177.38 lei 3-5 săpt. -20%