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
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Lecture Notes in Computer Science ; 15394Publisher: Singapore : Springer Nature Singapore, 2024Publisher: Singapore : Imprint: Springer, 2024Edition: 1st ed. 2024Description: 1 Online-Ressource(XII, 410 p. 103 illus., 70 illus. in color.)ISBN:- 9789819606177
- 004.0151 23
No physical items for this record