Higher Order Logic and Hardware Verification Cambridge Tracts in Theoretical Computer Science, nr. 31 Autor T. F. Melham iul 2009 Paperback Preț: 272.99 lei 341.24 lei 6-8 săpt. -20%