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%
Automata Theory Autor Javier Esparza et al. 17 oct 2023 Hardback Preț: 512.35 lei 661.46 lei 3-4 săpt. -23%