2 电子书 Jose Fiadeiro
Simone Cavalheiro & Jose Fiadeiro: Formal Methods: Foundations and Applications
This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017.The 16 papers presented tog …
EPUB
英语
DRM
€70.76
