Conte aos seus amigos sobre este item:
Formal Methods for Industrial Critical Systems: 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings - Lecture Notes in Computer Science Anne Remke
Formal Methods for Industrial Critical Systems: 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings - Lecture Notes in Computer Science
Anne Remke
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 28 de agosto de 2025 |
| ISBN13 | 9783032009418 |
| Editoras | Springer Nature Switzerland AG |
| Páginas | 297 |
| Dimensões | 155 × 234 × 20 mm · 466 g |
| Idioma | Alemão |
| Editor | Remke, Anne |
| Editor | Steffen, Bernhard |