Formal Methods and Software Engineering
17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
Sinopsis
Acerca de este libro
- Idioma:English
- ISBN:9783319254234
- Fecha de lanzamiento:19 may 2017
- Editorial:Springer International Publishing
- Edición:Springer
- Formato de archivo:EPUB2
- Tamaño de archivo:8.35 MB
- Opciones de descarga:EPUB2 (Adobe DRM)
En esta serie
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Michael Butler,Alexander Raschke,Thai Son Hoang,Klaus Reichl
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Michael Butler,Miklos Biro,Klaus-Dieter Schewe,Atif Mashkoor
