@BOOK{ Book!D - 90099472,
AUTHOR = " S.J. Goldsack and S.J.H. Kent (eds.).",
TITLE = "Formal methods and object technology",
LIBRARY= "مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی",
SUBJECT = "Programación orientada al objeto (Informática)",
URL = "/book/90099472/Formal-methods-and-object-technology/"}