Verified Software. Theories, Tools and Experiments Lecture Notes in Computer Science Editat de Clement Pit-Claudel et al. 3 aug 2026 Paperback Preț: 337.95 lei 422.44 lei Nepublicat încă -20% Precomandă
