Specification and Proof in real- time CSP /

Shranjeno v:

Bibliografske podrobnosti
Glavni avtor:	Davis, Jim
Format:	Knjiga
Jezik:	angleščina
Izdano:	Cambridge : Press Sydicate, c1993.
Teme:	Communicating Sequential Processes (computer Programs) Computer Programs.
Oznake:	Označite Brez oznak, prvi označite!

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

Izdano 1993

Knjiga