Active Object Languages: Current Research Trends
Editat de Frank de Boer et al.
29 ian 2024
Paperback
Preț: 443.12 lei 553.91 lei
43-57 zile
-20%
Cărți de Frank de Boer
Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings
Editat de Frank de Boer et al.
12 sep 2020
Paperback
Preț: 356.91 lei 446.13 lei
43-57 zile
-20%
It's All About Coordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
Editat de Frank de Boer et al.
7 apr 2018
Paperback
Preț: 325.03 lei 406.29 lei
43-57 zile
-20%
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Editat de Nikolaj Bjørner et al.
2 iun 2015
Paperback
Preț: 342.87 lei 428.59 lei
43-57 zile
-20%
Concurrency Verification: Introduction to Compositional and Non-compositional Methods
Autor Willem-Paul de Roever et al.
25 ian 2012
Paperback
Preț: 533.12 lei 666.39 lei
43-57 zile
-20%