Data Refinement Refined
Հիմնական հեղինակներ: | Hoare, C, Hayes, I, He, J, Morgan, C, Sanders, J, Sorensen, I, Spivey, J, Sufrin, B |
---|---|
Ձևաչափ: | Record |
Հրապարակվել է: |
1985
|
Նմանատիպ նյութեր
-
Data Refinement Refined: Resume
: He, J, և այլն
Հրապարակվել է: (1986) -
Prespecification in Data Refinement
: Hoare, C, և այլն
Հրապարակվել է: (1987) -
Natural Transformations and Data Refinement
: Hoare, C, և այլն
Հրապարակվել է: (2015) -
Laws of programming
: Roscoe, A, և այլն
Հրապարակվել է: (1987) -
Data Refinement in a Categorical Setting
: Hoare, C
Հրապարակվել է: (1987)