Unfoldings: A Partial-Order Approach to Model Checking Monographs in Theoretical Computer Science. An EATCS Series Autor Javier Esparza et al. 30 noi 2010 Paperback Preț: 615.32 lei 769.14 lei 6-8 săpt. -20%
