1 द्वारा ईबुक Corina Pasareanu
Marieke Huisman & Corina Pasareanu: Formal Methods
This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021.The 43 full papers presented together with 4 invited presentations wer …
EPUB
अंग्रेज़ी
DRM
€127.76
