Automata Theory
Autor Javier Esparza et al.
17 oct 2023
Hardback
Preț: 489.32 lei 611.65 lei
3-5 săpt. | 4-10 zile
-20%
Cărți de Javier Esparza
Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings
Editat de Yu-Fang Chen et al.
6 oct 2019
Paperback
Preț: 339.80 lei 424.75 lei
6-8 săpt.
-20%
Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Editat de Javier Esparza et al.
16 mar 2017
Paperback
Preț: 340.94 lei 426.17 lei
6-8 săpt.
-20%
Automata, Languages, and Programming: 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II
Editat de Javier Esparza et al.
23 iun 2014
Paperback
Preț: 344.19 lei 430.24 lei
6-8 săpt.
-20%
Finite and Algorithmic Model Theory
Editat de Javier Esparza et al.
9 mar 2011
Paperback
Preț: 457.51 lei 514.05 lei
6-8 săpt.
-11%
Unfoldings: A Partial-Order Approach to Model Checking
Autor Javier Esparza et al.
27 mar 2008
Hardback
Preț: 635.09 lei 793.86 lei
6-8 săpt.
-20%
Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings
Editat de Javier Esparza et al.
17 mar 2010
Paperback
Preț: 337.87 lei 422.33 lei
6-8 săpt.
-20%
Free Choice Petri Nets
Autor Jorg Desel et al.
7 sep 2005
Paperback
Preț: 272.59 lei 340.74 lei
6-8 săpt.
-20%
Application and Theory of Petri Nets 2002: 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings
Editat de Javier Esparza et al.
12 iun 2002
Paperback
Preț: 334.79 lei 418.49 lei
6-8 săpt.
-20%