New Paradigms in Computer Aided Verification Editat de Tyler Keating 26 sep 2023 Hardback Preț: 859.83 lei 1074.79 lei 6-8 săpt. -20%