期刊书目 › BOOKS with Alphabet R (Ra, Rb,Rc, Rd, Re…... ) › Titlebook: Refinement Techniques in Software Engineering; First Pernambuco Sum Ana Cavalcanti,Augusto Sampaio,Jim Woodcock Textbook 2006 Springer-Verl

运动的我 发表于 2025-3-28 18:36:25

http://reply.papertrans.cn/83/8247/824679/824679_41.png

V洗浴 发表于 2025-3-28 20:56:01

http://reply.papertrans.cn/83/8247/824679/824679_42.png

查看完整版本: Titlebook: Refinement Techniques in Software Engineering; First Pernambuco Sum Ana Cavalcanti,Augusto Sampaio,Jim Woodcock Textbook 2006 Springer-Verl