Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification Texts in Computer Science Autor Zhe Hou 5 dec 2022 Paperback Preț: 371.43 lei 464.28 lei 6-8 săpt. -20%