Formal Methods and Software Engineering

Formal Methods and Software Engineering

25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings

Ogata, Kazuhiro; Mery, Dominique; Sun, Meng; Liu, Shaoying

Springer

01/2025

397

Mole

9789819606160

Pré-lançamento - envio 15 a 20 dias após a sua edição

Descrição não disponível.
Índice não disponível.