ZB 2000: Formal specication and development in Z and B /
Bowen Jonathan P.(ed.) [et..al
ZB 2000: Formal specication and development in Z and B / Bowen Jonathan P.(ed.) [et..al. - 1st international co - Berling: Springer, 2000. - xiv,512p;23cm - Lecture notes in computer science;No 1878 .
Includes bibliographical references.
3540679448
004 LEC
ZB 2000: Formal specication and development in Z and B / Bowen Jonathan P.(ed.) [et..al. - 1st international co - Berling: Springer, 2000. - xiv,512p;23cm - Lecture notes in computer science;No 1878 .
Includes bibliographical references.
3540679448
004 LEC