Decidability of Parameterized Verification Synthesis Lectures on Distributed Computing Theory Autor Roderick Bloem et al. 29 sep 2015 Paperback Preț: 288.44 lei 360.55 lei 6-8 săpt. -20%
