Formal Methods and Software Engineering Lecture Notes in Computer Science, nr. 9407 Editat de Michael Butler et al. 2 dec 2015 Paperback Preț: 330.58 lei 413.22 lei 43-57 zile -20%