The Calculus of Computation: Decision Procedures with Applications to Verification
Aaron R. Bradley, Zohar Manna
Springer
2007
366 páginas
12h 12m
ISBN-13: 9783540741121
Estatísticas
Avaliações
0 / 0- 5 estrelas0%
- 4 estrelas0%
- 3 estrelas0%
- 2 estrelas0%
- 1 estrelas0%