Automata Theory Autor Javier Esparza et al. 17 oct 2023 Hardback Preț: 511.80 lei 660.96 lei 22-29 zile -23%
Automated Technology for Verification and Analysis Lecture Notes in Computer Science, nr. 11781 Editat de Yu-Fang Chen et al. 6 oct 2019 Paperback Preț: 335.69 lei 419.61 lei 43-57 zile -20%
Foundations of Software Science and Computation Structures Editat de Javier Esparza et al. 16 mar 2017 Paperback Preț: 336.92 lei 421.15 lei 43-57 zile -20%
Automata, Languages, and Programming Editat de Javier Esparza et al. 23 iun 2014 Paperback Preț: 340.38 lei 425.47 lei 43-57 zile -20%
Finite and Algorithmic Model Theory London Mathematical Society Lecture Note Series, nr. 379 Editat de Javier Esparza et al. 9 mar 2011 Paperback Preț: 474.36 lei 532.99 lei 43-57 zile -11%
Tools and Algorithms for the Construction and Analysis of Systems Editat de Javier Esparza et al. 17 mar 2010 Paperback Preț: 331.80 lei 414.75 lei 43-57 zile -20%
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 43-57 zile -20%
Free Choice Petri Nets Cambridge Tracts in Theoretical Computer Science, nr. 40 Autor Jorg Desel et al. 7 sep 2005 Paperback Preț: 282.28 lei 352.86 lei 43-57 zile -20%
Application and Theory of Petri Nets 2002 Editat de Javier Esparza et al. 12 iun 2002 Paperback Preț: 330.36 lei 412.95 lei 43-57 zile -20%