Specification and Proof in real- time CSP /

Saved in:

Bibliografiske detaljer
Hovedforfatter:	Davis, Jim
Format:	Bog
Sprog:	engelsk
Udgivet:	Cambridge : Press Sydicate, c1993.
Fag:	Communicating Sequential Processes (computer Programs) Computer Programs.
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Athi-River Campus: Open Shelves

Detaljer om beholdninger fra Athi-River Campus: Open Shelves
Klassifikationsnummer:	PE1417.A13
Barcode BK017756	Tilgængelig Reservér”