This data is correct as of December 2015 - for more up to date information, please visit https://opensyllabus.org/
So far, Altmetric has seen
this research output assigned in 2 syllabi from 1 institutions on Open Syllabus Project.
Constructing Correct Software
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Introduction
-
Altmetric BadgeChapter 2 The Technical Background
-
Altmetric BadgeChapter 3 On Programming
-
Altmetric BadgeChapter 4 Algorithm Extraction
-
Altmetric BadgeChapter 5 Recursion Removal
-
Altmetric BadgeChapter 6 Quantifications
-
Altmetric BadgeChapter 7 Refinement and Re-use
-
Altmetric BadgeChapter 8 Sorting
-
Altmetric BadgeChapter 9 Data Refinement
-
Altmetric BadgeChapter 10 Sorting Revisited
-
Altmetric BadgeChapter 11 Failures and Fixes
-
Altmetric BadgeChapter 12 Further Examples
-
Altmetric BadgeChapter 13 On Interactive Software