@BOOK{ Book!D - 92941783,
AUTHOR = "",
TITLE = "orientation to formal methods :-From object",
LIBRARY= "كتابخانه مركزی و مركز اسناد دانشگاه مازندران",
SUBJECT = "oriented methods (Computer science) ; Formal methods (Computer science) ; System design ; -Object",
URL = "/book/92941783/orientation-to-formal-methods-From-object/"}