Automata Theory
Autor Javier Esparza et al.
17 oct 2023
Hardback
Preț: 489.32 lei 611.65 lei
3-5 săpt. | 7-13 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ț: 345.59 lei 431.98 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ț: 346.75 lei 433.44 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ț: 350.05 lei 437.57 lei
6-8 săpt.
-20%
Finite and Algorithmic Model Theory
Editat de Javier Esparza et al.
9 mar 2011
Paperback
Preț: 465.32 lei 522.83 lei
6-8 săpt.
-11%
Unfoldings: A Partial-Order Approach to Model Checking
Autor Javier Esparza et al.
27 mar 2008
Hardback
Preț: 645.97 lei 807.46 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ț: 343.62 lei 429.52 lei
6-8 săpt.
-20%
Free Choice Petri Nets
Autor Jorg Desel et al.
7 sep 2005
Paperback
Preț: 277.21 lei 346.51 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ț: 340.49 lei 425.62 lei
6-8 săpt.
-20%