@BOOK{ Book!D - 92935483,
AUTHOR = "",
TITLE = "Mathematics of program construction",
LIBRARY= "كتابخانه مركزی و مركز اسناد دانشگاه مازندران",
SUBJECT = "Computer programming ; Congresses. ; Computer science ; Mathematics ; Congresses. ;",
URL = "/book/92935483/Mathematics-of-program-construction/"}