Carregant...
Program logics for certified compilers /
| Autor principal: | |
|---|---|
| Format: | Printed Book |
| Idioma: | English |
| Matèries: |
| Descripció física: | x, 458 pages : illustrations ; 24 cm |
|---|---|
| Bibliografia: | Includes bibliographical references (pages 442-451) and index. |
| ISBN: | 9781107048010 (hardback) |