Systems development with Java: experiences from a practical project course in software engineering
Conference proceeding (January 1997)
The most recent citing publication is shown below. View this citation on Dimensions.
Programming and Mathematical Method
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 On the design of a simple proof for Morley’s Theorem
-
Altmetric BadgeChapter 2 Well-foundedness and the transitive closure
-
Altmetric BadgeChapter 3 Designing the proof of Vizing’s Theorem
-
Altmetric BadgeChapter 4 Phase Synchronization for two machines
-
Altmetric BadgeChapter 5 The Lexicographic Minimum of a Cyclic Array
-
Altmetric BadgeChapter 6 Metalevel Programming in Constructive Type Theory
-
Altmetric BadgeChapter 7 Laws of Programming
-
Altmetric BadgeChapter 8 Some Applications of Pointer Algebra
-
Altmetric BadgeChapter 9 Some generalizations and applications of Dijkstra’s guarded commands
-
Altmetric BadgeChapter 10 A Theory of Program Composition
-
Altmetric BadgeChapter 11 Lectures on Data Refinement
-
Altmetric BadgeChapter 12 Refinement algebra proves correctness of compilation
-
Altmetric BadgeChapter 13 Process Algebra with Signals and Conditions
-
Altmetric BadgeChapter 14 Functional Specification of Time Sensitive Communicating Systems
-
Altmetric BadgeChapter 15 Systematic Derivation of Communicating Programs
Altmetric Badge
Citations
- dimensions_citation
- 1 Dimensions