ผู้เขียน: Jose Fiadeiro

สนับสนุน

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