@BOOK{ Book!D - 83275381,
AUTHOR = "edited by Howard Barringer ... ]et al.[",
TITLE = "The Imperative future :principles of executable temporal logic",
LIBRARY= "کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند",
SUBJECT = "Development ، Computer software,، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical",
URL = "/book/83275381/The-Imperative-future-principles-of-executable-te/"}