工程1.vbw

数据库招生管理系统 SQL2000 有Visual B做的

xitong1 = -38, 200, 521, 648, C, 74, 168, 579, 591, C
student1 = 19, 61, 636, 617, C, -2, 44, 575, 562, C
Form1 = -163, 120, 498, 543, C, 126, 138, 631, 561, C
denglu1 = 20, 19, 653, 442, C, 77, 101, 585, 541, C
student2 = -79, 56, 524, 627, C, 31, 46, 577, 546, C
zhaosheng1_1 = -172, 336, 594, 842, C, 86, 138, 531, 443, C
zhaosheng2 = 128, 178, 636, 618, C, 118, 126, 621, 540, C
Module1 = 47, 176, 643, 616, C
zhaosheng = 20, 120, 528, 560, C, 82, 105, 590, 545, C
zhaosheng1_2 = 53, 64, 651, 504, C, 16, 59, 524, 499, C
xitong3 = 28, 102, 641, 542, C, 99, 120, 607, 560, C