Formal Methods
25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings
Sinopsis
Acerca de este libro
- Idioma:English
- ISBN:9783031274817
- Fecha de lanzamiento:3 mar 2023
- Editorial:Springer International Publishing
- Edición:Springer
- Formato de archivo:EPUB3
- Tamaño de archivo:76.04 MB
- Opciones de descarga:EPUB3 (Adobe DRM)
En esta serie
Tools and Algorithms for the Construction and Analysis of Systems
Marsha Chechik,Jean-François Raskin
