Specification and Proof in real- time CSP /

Sparad:

Bibliografiska uppgifter
Huvudskapare:	Davis, Jim
Materialtyp:	Bok
Språk:	engelska
Publicerad:	Cambridge : Press Sydicate, c1993.
Ämnen:	Communicating Sequential Processes (computer Programs) Computer Programs.
Taggar:	Lägg till en tagg Inga taggar, Lägg till första taggen!

Athi-River Campus: Open Shelves

Beståndsuppgifter i Athi-River Campus: Open Shelves
Signum:	PE1417.A13
Streckkod BK017756	Tillgänglig Reservera