Freunden von diesem Artikel berichten:
Program Logics for Certified Compilers Appel, Andrew W. (Princeton University, New Jersey)
Preis
SFr. 108,99
exkl. MwSt.
Bestellware
Lieferdatum: ca. 1. - 9. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen
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.
| Medien | Bücher Gebundenes Buch (Buch mit hartem Rücken und steifem Einband) |
| Erscheinungsdatum | 21. April 2014 |
| ISBN13 | 9781107048010 |
| Verlag | Cambridge University Press |
| Seitenanzahl | 472 |
| Maße | 236 × 161 × 28 mm · 848 g (Geschätztes Gewicht) |
| Sprache | Englisch |
Weitere Titel von Appel, Andrew W. (Princeton University, New Jersey)
Alle anzeigen
![Cover for Appel, Andrew W. (Princeton University, New Jersey) · Modern Compiler Implementation in Java (Gebundenes Buch) [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-gebundenes-buch&class=scaled&v=1454238137)
Alle Titel von Appel, Andrew W. (Princeton University, New Jersey) ansehen ( u. a. Taschenbuch und Gebundenes Buch )