Conte aos seus amigos sobre este item:
Program Logics for Certified Compilers
Appel, Andrew W. (Princeton University, New Jersey)
Item sob encomenda (no estoque do fornecedor)
O que dizem nossos clientes:
Program Logics for Certified Compilers
Appel, Andrew W. (Princeton University, New Jersey)
This book covers practical and theoretical separation logic suitable for graduate students. On the practical side, it covers verification in Hoare and separation logics, simple case studies, and the Verifiable C program logic. On the theoretical side, it covers separation algebras, step-indexed models, indirection theory, tree-shares, and the semantic construction of Verifiable C.
367 pages, 52 b/w illus.
| Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 21 de abril de 2014 |
| ISBN13 | 9781107048010 |
| Editoras | Cambridge University Press |
| Páginas | 472 |
| Dimensões | 236 × 161 × 28 mm · 848 g (Peso (estimado)) |
| Idioma | English |
Mais por Appel, Andrew W. (Princeton University, New Jersey)
![Cover for Appel, Andrew W. (Princeton University, New Jersey) · Modern Compiler Implementation in Java (Hardcover Book) [2 Revised edition] (2002)](https://imusic.b-cdn.net/images/item/original/608/9780521820608.jpg?appel-andrew-w-princeton-university-new-jersey-2002-modern-compiler-implementation-in-java-hardcover-book&class=scaled&v=1454238137)
Ver tudo de Appel, Andrew W. (Princeton University, New Jersey) ( por exemplo Paperback Book e Hardcover Book )