Unfoldings: A Partial-Order Approach to Model Checking Monographs in Theoretical Computer Science. An EATCS Series Autor Javier Esparza et al. 27 mar 2008 Hardback Preț: 621.01 lei 776.27 lei 6-8 săpt. -20%
