@BOOK{ Book!D - 89976109,
AUTHOR = " Cormac Flanagan, Barbara König (eds.)",
TITLE = "Tools and algorithms for the construction and analysis of systems",
LIBRARY= "مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی",
SUBJECT = "System analysis, Congresses,System design, Congresses",
URL = "/book/89976109/Tools-and-algorithms-for-the-construction-and-anal/"}