Theories of Programming and Formal Methods Lecture Notes in Computer Science, nr. 14080 Editat de Jonathan P. Bowen et al. 10 aug 2023 Paperback Preț: 465.87 lei 582.33 lei 43-57 zile -20%
Provably Correct Systems NASA Monographs in Systems and Software Engineering Editat de Mike Hinchey et al. 10 mar 2017 Hardback Preț: 660.61 lei 825.75 lei 38-44 zile -20%