Specification and Proof in real- time CSP /

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

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

Specification and Proof in real- time CSP / -н Davis, Jim

Хэвлэсэн 1993

Ном