List of Figures. List of Tables. Foreword. Preface. Abstract. 1. Introduction. 2. Software Running Time Analysis. 3. A Formal Approach to Symta. 4. Formal Cache Analysis in Symta. 5. Program Segment Cost Analysis. 6. Experiments and Results. 7. Summary and Conclusion. Appendices. Bibliography. Index.
"Sinopsis" puede pertenecer a otra edición de este libro.