期刊书目 › BOOKS with Alphabet F (Fa, Fb,Fc, Fd, Fe…... ) › Titlebook: Formal Verification of Object-Oriented Software; International Confer Bernhard Beckert,Ferruccio Damiani,Dilian Gurov Conference proceeding

挖掘 发表于 2025-3-30 09:09:08

10楼

licence 发表于 2025-3-30 14:56:33

10楼

巫婆 发表于 2025-3-30 19:18:48

10楼

galley 发表于 2025-3-30 21:27:09

10楼

查看完整版本: Titlebook: Formal Verification of Object-Oriented Software; International Confer Bernhard Beckert,Ferruccio Damiani,Dilian Gurov Conference proceeding