Computer aided verification /
Na minha lista:
Principais autores: | Grumberg, Orna, International Workshop on Computer-Aided Verification (CAV'97) ; |
---|---|
Formato: | Livro |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/20955 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Computer aided verification /
por: Alur, Rajeev,, et al.
Publicado em: (2022) -
Computer aided verification /
por: Wolper, Pierre., et al.
Publicado em: (2022) -
Designing efficient algorithms for parallel computers /
por: Quinn, Michael J.
Publicado em: (2022) -
Computer architecture and parallel processing /
por: Hwang, Kai., et al.
Publicado em: (2022) -
Logics for concurrency : structure versus automata /
por: Moller, Faron, |d 1962-, et al.
Publicado em: (2022)