The foundations of program verification /
Na minha lista:
Principais autores: | Loeckx, Jacques, Sieber, Kurt., Stansifer, Ryan D. |
---|---|
Formato: | Livro |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/10337 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Computer aided verification /
por: Wolper, Pierre., et al.
Publicado em: (2022) -
Computer aided verification /
por: Alur, Rajeev,, et al.
Publicado em: (2022) -
Systems and software verification : model-checking techniques and tools /
por: Bérard, Béatrice et al.
Publicado em: (2022) -
How Google tests software /
por: Whittaker, James., et al.
Publicado em: (2022) -
Temporal verification of reactive systems : safety /
por: Manna, Zohar., et al.
Publicado em: (2022)