Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021, Vi
72,50 €
The 8 full papers presented together with 2 short papers were carefully reviewed and selected from 12 submissions. - Online Teaching of Verification of C Programs in Applied Computer Science. - Learning Tools.
Jetzt bei Ebay:
