Decidability of Parameterized Verification Synthesis Lectures on Distributed Computing Theory Autor Roderick Bloem et al. 29 sep 2015 Paperback Preț: 294.81 lei 368.51 lei 43-57 zile -20%
