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