Handbook of Logic and Proof Techniques for Computer Science
Edición de la obra Handbook of Logic and Proof Techniques for Computer Science
| Autor | Steven G. Krantz |
|---|---|
| Editorial | Birkhäuser Boston, Imprint: Birkhäuser |
| Fecha de publicación | 2002 |
| Lugar | Boston, MA |
| Idioma | inglés |
| Páginas | 245 |
| Formato | [electronic resource] / |
| ISBN-13 | 9781461266198, 9781461201151 |
| ISBN-10 | 146126619X, 1461201152 |
| OCLC | 853265842 |
| Número de Cutter |