Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings
Editat de Tiago Massoni et al.
24 oct 2018
Paperback
Preț: 373.80 lei 467.25 lei
43-57 zile
-20%
Cărți de Mohammad Reza Mousavi
Formal Techniques for Distributed Objects, Components, and Systems
Editat de Mohammad Reza Mousavi et al.
12 iun 2022
Paperback
Preț: 424.26 lei 530.32 lei
22-36 zile | 6-12 zile
-20%
Rebeca for Actor Analysis in Action
Editat de Edward A. Lee et al.
21 mar 2025
Paperback
Preț: 455.59 lei 569.49 lei
38-44 zile
-20%
Cyber Physical Systems. Design, Modeling, and Evaluation: 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings
Editat de Christian Berger et al.
10 noi 2015
Paperback
Preț: 258.41 lei 323.01 lei
43-57 zile
-20%
Topics in Theoretical Computer Science: The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers
Editat de Mohammed Taghi Hajiaghayi et al.
25 ian 2016
Paperback
Preț: 315.00 lei 393.74 lei
43-57 zile
-20%
Cyber Physical Systems. Design, Modeling, and Evaluation: 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers
Editat de Christian Berger et al.
13 ian 2017
Paperback
Preț: 312.30 lei 390.38 lei
43-57 zile
-20%
Topics in Theoretical Computer Science: Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings
Editat de Mohammad Reza Mousavi et al.
14 oct 2017
Paperback
Preț: 312.79 lei 390.99 lei
43-57 zile
-20%
Modeling and Analysis of Communicating Systems
Autor Jan Friso Groote et al.
9 mai 2023
Paperback
Preț: 429.78 lei
43-57 zile