1. Temporal logics : and their applications
پدیدآورنده : edited by Antony Galton
کتابخانه: (طهران)
موضوع : ، Computer programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
T46
1987