派博传思国际中心's Archiver
期刊书目
›
BOOKS with Alphabet R (Ra, Rb,Rc, Rd, Re…... )
› Titlebook: Refinement in Z and Object-Z; Foundations and Adva John Derrick,Eerke Boiten Book 20011st edition Springer-Verlag London 2001 Formal Method
debris
发表于 2025-4-1 05:55:31
http://reply.papertrans.cn/83/8247/824681/824681_61.png
页:
1
2
3
4
5
6
[7]
查看完整版本:
Titlebook: Refinement in Z and Object-Z; Foundations and Adva John Derrick,Eerke Boiten Book 20011st edition Springer-Verlag London 2001 Formal Method