Formal methods : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024 : proceedings
Uložené v:
| Hlavní autori: | , , , , |
|---|---|
| Médium: | Kniha |
| Jazyk: | English |
| Vydavateľské údaje: |
Cham
Springer
2025
2025 |
| Predmet: | |
| ISBN: | 3031711769, 9783031711763 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Bibliografia: | Content Type: text (ncrcontent), Media Type: unmediated (ncrmedia), Carrier Type: volume (ncrcarrier) Includes bibliographical references and index Other editors: Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi |
|---|---|
| ISBN: | 3031711769 9783031711763 |