@BOOK{ Book!D - 90113733,
AUTHOR = " Tiziana Margaria, Bernhard Steffen, (eds.).",
TITLE = "Tools and algorithms for the construction and analysis of systems : ",
LIBRARY= "مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی",
SUBJECT = "Computer software -- Development -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,System design -- Congresses.",
URL = "/book/90113733/Tools-and-algorithms-for-the-construction-and-anal/"}