Specification and Proof in real- time CSP /

-д хадгалсан:

Номзүйн дэлгэрэнгүй
Үндсэн зохиолч:	Davis, Jim
Формат:	Ном
Хэл сонгох:	англи
Хэвлэсэн:	Cambridge : Press Sydicate, c1993.
Нөхцлүүд:	Communicating Sequential Processes (computer Programs) Computer Programs.
Шошгууд:	Шошго нэмэх Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!

Athi-River Campus: Open Shelves

Athi-River Campus: Open Shelves-с авсан түр хойшлуулсан зүйлсийн дэлгэрэнгүй мэдээлэл
Зохиогчийн тэмдэгт:	PE1417.A13
Баркод BK017756	Бэлэн Түр хойшлуулалтыг байршуулах