The calculus of computation : decision procedures with applications to verification /
Na minha lista:
Principais autores: | Bradley, Aaron R., Manna, Zohar. |
---|---|
Formato: | Livro |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/190061 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
The deductive foundations of computer programming /
por: Manna, Zohar., et al.
Publicado em: (2022) -
The logical basis for computer programming /
por: Manna, Zohar., et al.
Publicado em: (2022) -
Decision procedures : an algorithmic point of view /
por: Kroening, Daniel., et al.
Publicado em: (2022) -
Lógica para ciência da computação : uma introdução concisa /
por: Souza, João Nunes de.
Publicado em: (2022) -
A friendly introduction to mathematical logic /
por: Leary, Christopher C.,
Publicado em: (2022)