Daniel Kroening
Autor de Decision Procedures: An Algorithmic Point of View
Obras de Daniel Kroening
Etiquetado
Conocimiento común
Todavía no hay datos sobre este autor en el Conocimiento Común. Puedes ayudar.
Miembros
También Puede Gustarte
Autores relacionados
Estadísticas
- Obras
- 3
- Miembros
- 17
- Popularidad
- #654,391
- ISBNs
- 8