Description of the Kananaskis 3 release of the HOL4 theorem proving environment.
Dettagli
- Data di pubblicazione
- Dec 14, 2005
- Lingua
- English
- Categoria
- Medicina & scienza
- Copyright
- Tutti i diritti riservati - Licenza di copyright standard
- Collaboratori
- Di (autore): Lars Johnson
Specifiche
- Pagine
- 290
- Tipo di rilegatura
- Copertina rigida Copertina di lino
- Colore del contenuto
- Bianco e nero
- Dimensioni
- US Trade (152 x 229 mm)