Specification and Proof in real- time CSP /

I tiakina i:

Ngā taipitopito rārangi puna kōrero
Kaituhi matua:	Davis, Jim
Hōputu:	Pukapuka
Reo:	Ingarihi
I whakaputaina:	Cambridge : Press Sydicate, c1993.
Ngā marau:	Communicating Sequential Processes (computer Programs) Computer Programs.
Ngā Tūtohu:	Tāpirihia he Tūtohu Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!

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

I whakaputaina 1993

Pukapuka