Specification and Proof in real- time CSP /
Na minha lista:
Autor principal: | |
---|---|
Formato: | Livro |
Idioma: | inglês |
Publicado em: |
Cambridge :
Press Sydicate,
c1993.
|
Assuntos: | |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Descrição Física: | xvii,180 p. |
---|---|
ISBN: | 0521450551 |