CONCUR 2001 - Concurrency Theory
Editat de Kim G. Larsen et al.
13 aug 2001
Paperback
Preț: 337.51 lei 421.89 lei
43-57 zile
-20%
Cărți de Kim G. Larsen
Computer Aided Verification
Editat de Ed Brinksma et al.
19 iul 2002
Paperback
Preț: 642.10 lei 802.63 lei
43-57 zile
-20%
Tools and Algorithms for the Construction and Analysis of Systems
Editat de Ed Brinksma et al.
23 noi 1995
Paperback
Preț: 322.59 lei 403.23 lei
43-57 zile
-20%
Computer Aided Verification
Editat de Kim G. Larsen et al.
22 apr 1992
Paperback
Preț: 332.60 lei 415.75 lei
43-57 zile
-20%
Formal Modeling and Analysis of Timed Systems
Editat de Kim G. Larsen et al.
8 apr 2004
Paperback
Preț: 375.85 lei
43-57 zile
Automata, Languages and Programming: 25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, Proceedings
Editat de Kim G. Larsen et al.
6 iul 1998
Paperback
Preț: 651.76 lei 814.70 lei
43-57 zile
-20%
Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
Editat de Tiziana Margaria et al.
26 iun 2019
Paperback
Preț: 326.87 lei 408.59 lei
43-57 zile
-20%