Provably correct systems
modelling of communication languagesand design of optimized compilers
Edición de la obra Provably correct systems
| Autor | Jifeng He |
|---|---|
| Editorial | McGraw-Hill |
| Fecha de publicación | 1994 |
| Lugar | London |
| Idioma | inglés |
| Páginas | 216 |
| ISBN-10 | 0077090527 |
| Serie | McGraw-Hill international series in software engineering |
| Número de Cutter | H432p |