Computer Aided Verification Lecture Notes in Computer Science, nr. 12759 Editat de Alexandra Silva et al. 18 iul 2021 Paperback Preț: 327.88 lei 409.86 lei 6-8 săpt. -20%
Formal Techniques for Distributed Objects, Components, and Systems Lecture Notes in Computer Science, nr. 10321 Editat de Ahmed Bouajjani et al. 28 mai 2017 Paperback Preț: 320.14 lei 400.17 lei 6-8 săpt. -20%