Formal Methods and Software Engineering : 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings / edited by Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu
Mitwirkende(r): Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: Lecture Notes in Computer Science ; 15394Verlag: Singapore : Springer Nature Singapore, 2024Verlag: Singapore : Imprint: Springer, 2024Auflage: 1st ed. 2024Beschreibung: 1 Online-Ressource(XII, 410 p. 103 illus., 70 illus. in color.)ISBN:- 9789819606177
- 004.0151 23
Dieser Titel hat keine Exemplare