Pastāsti draugiem par šo preci:
Program Logics for Certified Compilers Appel, Andrew W. (Princeton University, New Jersey)
Do you have a profile? Pierakstīties
Saņemiet paziņojumus par jauniem Appel, Andrew W. (Princeton University, New Jersey) izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
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.
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2014. gada 21. aprīlis |
| ISBN13 | 9781107048010 |
| Izdevēji | Cambridge University Press |
| Lapas | 472 |
| Izmēri | 236 × 161 × 28 mm · 848 g (Svars (aptuveni)) |
| Valoda | Angļu |
Vairāk no Appel, Andrew W. (Princeton University, New Jersey)
Rādīt visu![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)
Vairāk no tā paša izdevēja
Skatīt visus Appel, Andrew W. (Princeton University, New Jersey) ( piem., Paperback Book un Hardcover Book )