@BOOK{ Book!D - 89944963,
AUTHOR = " edited by Haim Kilov, Bernhard Rumpe, Ian Simmonds.",
TITLE = "Behavioral Specifications of Businesses and Systems",
LIBRARY= "مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی",
SUBJECT = "Computer science.,Data structures (Computer science).,Management information systems.,Software engineering.",
URL = "/book/89944963/Behavioral-Specifications-of-Businesses-and-System/"}