Peter Csaba Ölveczky
Articles populaires de Peter Csaba Ölveczky
Afficher toutes les offres-
Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude
Ölveczky, Peter Csaba
Prix des articles à partir de
Afficher les 13 offresEUR 66,57
-
-
-
Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
Prix des articles à partir de
Afficher les 10 offresEUR 46,22
Rechercher également
Neuf -
Formal Techniques for Safety-Critical Systems: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
Prix des articles à partir de
Afficher les 10 offresEUR 60,70
Rechercher également
Neuf -
Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
Prix des articles à partir de
Afficher les 16 offresEUR 46,22
Rechercher également
Neuf -
-
Formal Aspects of Component Software: 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings
Prix des articles à partir de
Afficher les 21 offresEUR 46,22
Affichage de 8 sur 12 livres