Rigorous State-Based Methods Lecture Notes in Computer Science, nr. 12071 Editat de Alexander Raschke et al. 15 mai 2020 Paperback Preț: 329.35 lei 411.69 lei 6-8 săpt. -20%