علوم
Temporal Logic of Programs
پدیدآورنده: by Fred Kröger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Logic design.
رده :
QA76
.
9
.
L63
B947
1987