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:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
Descrizione
Descrizione fisica:xvii,180 p.
ISBN:0521450551