Software Engineering and Formal Methods Editat de Peter Csaba Ölveczky et al. 2 sep 2019 Paperback Preț: 370.14 lei 462.68 lei 38-44 zile -20%
Formal Aspects of Component Software Lecture Notes in Computer Science, nr. 11222 Editat de Kyungmin Bae et al. 7 oct 2018 Paperback Preț: 322.80 lei 403.50 lei 6-8 săpt. -20%
Designing Reliable Distributed Systems Undergraduate Topics in Computer Science Autor Peter Csaba Ölveczky 22 feb 2018 Paperback Preț: 460.94 lei 576.18 lei 38-44 zile -20%
Formal Aspects of Component Software Lecture Notes in Computer Science, nr. 9539 Editat de Christiano Braga et al. 30 ian 2016 Paperback Preț: 324.41 lei 405.51 lei 6-8 săpt. -20%
Logic, Rewriting, and Concurrency Lecture Notes in Computer Science, nr. 9200 Editat de Narciso Martí Oliet et al. 21 aug 2015 Paperback Preț: 339.96 lei 424.95 lei 6-8 săpt. -20%
Formal Techniques for Safety-Critical Systems Editat de Cyrille Artho et al. 16 feb 2017 Paperback Preț: 314.86 lei 393.57 lei 6-8 săpt. -20%
Formal Aspects of Component Software Editat de Farhad Arbab et al. 23 noi 2012 Paperback Preț: 326.26 lei 407.83 lei 6-8 săpt. -20%
Rewriting Logic and Its Applications: 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers Lecture Notes in Computer Science, nr. 6381 Editat de Peter Csaba Ölveczky 6 oct 2010 Paperback Preț: 319.75 lei 399.68 lei 3-5 săpt. -20%