Specification and Proof in real- time CSP /

Spremljeno u:

Bibliografski detalji
Glavni autor:	Davis, Jim
Format:	Knjiga
Jezik:	engleski
Izdano:	Cambridge : Press Sydicate, c1993.
Teme:	Communicating Sequential Processes (computer Programs) Computer Programs.
Oznake:	Dodaj oznaku Bez oznaka, Budi prvi tko označuje ovaj zapis!

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

Izdano c1993.

Knjiga