@BOOK{ Book!D - 101372727,
AUTHOR = "D.C. Ince",
TITLE = "An introduction to discrete mathematics, formal system specification, and Z",
LIBRARY= "کتابخانه پژوهشگاه دانشهای بنیادی",
SUBJECT = "، Computer science -- Mathematics,، System design",
URL = "/book/101372727/An-introduction-to-discrete-mathematics-formal-sy/"}