Formal Aspects of Component Software
Editat de Farhad Arbab et al.
23 noi 2012
Paperback
Preț: 325.25 lei 406.57 lei
43-57 zile
-20%
Peter Csaba Ölveczky
Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude
Autor Peter Csaba Ölveczky
22 feb 2018
Paperback
Preț: 468.95 lei 586.19 lei
38-44 zile
-20%
Formal Aspects of Component Software: 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings
Editat de Kyungmin Bae et al.
7 oct 2018
Paperback
Preț: 320.55 lei 400.68 lei
43-57 zile
-20%
Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
Editat de Peter Csaba Ölveczky et al.
2 sep 2019
Paperback
Preț: 365.45 lei 456.81 lei
38-44 zile
-20%
Theoretical Aspects of Computing – ICTAC 2021: 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings
Editat de Antonio Cerone et al.
20 aug 2021
Paperback
Preț: 461.25 lei 576.57 lei
22-36 zile | 6-12 zile
-20%
Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday
Editat de Narciso Martí Oliet et al.
21 aug 2015
Paperback
Preț: 336.41 lei 420.51 lei
43-57 zile
-20%
Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
Editat de Christiano Braga et al.
30 ian 2016
Paperback
Preț: 321.98 lei 402.47 lei
43-57 zile
-20%
Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
Editat de Cyrille Artho et al.
2 feb 2019
Paperback
Preț: 314.86 lei 393.57 lei
43-57 zile
-20%