Specification and Proof in real- time CSP /

Salvato in:

Dettagli Bibliografici
Autore principale:	Davis, Jim
Natura:	Libro
Lingua:	inglese
Pubblicazione:	Cambridge : Press Sydicate, c1993.
Soggetti:	Communicating Sequential Processes (computer Programs) Computer Programs.
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

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

Pubblicazione c1993.

Libro