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