532. Temporal verification of reactive systems: safety

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Computer software-- Verification,، Parallel processing )Electronic computers(

رده :
QA
76
.
76
.
V47
.
M36
1995

539. The Complete FreeBSD :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Free computer software.,FreeBSD.,Operating systems (Computers)

رده :
QA76
.
76
.
O63
G744
2009