@BOOK{ Book!D - 99742956,
AUTHOR = "Dromey, R. G., 6491- ",
TITLE = "Program derivation : the development of programs from specifications",
LIBRARY= "كتابخانه پژوهشگاه نیرو",
SUBJECT = "، Electronic digital computers- Programming",
URL = "/book/99742956/Program-derivation-the-development-of-programs-f/"}