[Lecture Notes in Computer Science] ZB 2003: Formal Specification and Development in Z and B Volume 2651 || A Formal Specification in B of a Medical Decision Support System
Bert, Didier, Bowen, Jonathan P., King, Steve, Waldén, MarinaТом:
10.1007/3-
Рік:
2003
Мова:
english
DOI:
10.1007/3-540-44880-2_29
Файл:
PDF, 179 KB
english, 2003