Data Refinement Refined: Resume

Data Refinement Refined: Resume

Bibliographic Details
Main Authors:	He, J, Hoare, C, Sanders, J
Other Authors:	Robinet, B
Format:	Book
Published:	1986

Similar Items

Data Refinement Refined
by: Hoare, C, et al.
Published: (1985)

Prespecification in Data Refinement
by: Hoare, C, et al.
Published: (1987)

Natural Transformations and Data Refinement
by: Hoare, C, et al.
Published: (2015)

Data Refinement in a Categorical Setting
by: Hoare, C
Published: (1987)

Data Refinement in a Categorical Setting
by: Hoare, C
Published: (1987)

Equating Simulation with Refinement
by: He, J, et al.
Published: (2003)

Data Refinement Refined
Published: (1985)

Bisimulation and refinement reconciled
by: Roscoe, A, et al.
Published: (2003)

On the Refinement and Simulation of Data Types and Processes
by: Bolton, C, et al.
Published: (1999)

Big Data Refinement
by: Eerke A. Boiten
Published: (2016-06-01)

Reinforcement of Refined and Semi-Refined Carrageenan Film with Nanocellulose
by: Bakti B. Sedayu, et al.
Published: (2020-05-01)

Refining Vegetable Oils: Chemical and Physical Refining
by: Said Gharby
Published: (2022-01-01)

Petroleum chemistry and refining /
by: Speight, J. G.
Published: (1998)

World refining industry to 2015 : what does the future hold for the refining business /
by: 408393 Manning, Thomas J.
Published: (1995)

Refinement in Object−Z and CSP
by: Bolton, C, et al.
Published: (2002)

REF refined
by: Sattary, L
Published: (2010)

Petroleum refining /
by: 321272 Neumann, Hans-Joachim, et al.
Published: (1984)

Methanol refining /
by: 394583 Akell, Robert Berry

Automotive refinement /
by: Institution of Mechanical Engineers (Great Britain). Automobile Division
Published: (1996)

Petroleum refining /
by: Wauquier, Jean-Pierre, et al.
Published: (1995)

Petroleum refining /
by: Favennec, Jean-Pierre, et al.
Published: (2001)

Refining the Tacit
by: Harry Collins
Published: (2013-10-01)

RefinePose: Towards More Refined Human Pose Estimation
by: Hao Dong, et al.
Published: (2022-12-01)

Domain−Specific Semantics and Data Refinement of Object Models
by: Davies, J, et al.
Published: (2006)

Domain−specific Semantics and Data Refinement of Object Models
by: Davies, J, et al.
Published: (2008)

Gradual Refinement: Blending Pattern Matching with Data Abstraction
by: Wang, M, et al.
Published: (2010)

Gradual Refinement Blending Pattern Matching with Data Abstraction
by: Wang, M, et al.
Published: (2010)

EFFECT OF FIBER FLOCCULATION AND FILLING DESIGN ON REFINER LOADABILITY AND REFINING CHARACTERISTICS
by: khalil El-Sharkawy, et al.
Published: (2008-05-01)

Hypothesizing and Refining Causal Models
by: Doyle, Richard J.
Published: (2004)

Data Refinement with Low−level Pointer Operations
by: Mijajlovic, I, et al.
Published: (2005)

Blaiming the Client: On Data Reﬁnement in the Presence of Pointers
by: Filipovic, I, et al.
Published: (2010)

Refining Linked Data with Games with a Purpose
by: Celino, Irene, et al.
Published: (2020-07-01)

Grain refinement in castings and welds/
by: Abbaschian, G. J., et al.
Published: (1983)

Concurrency and Refinement in the Unified Modeling Language
by: Davies, J, et al.
Published: (2002)

Concurrency and Refinement in the Unified Modeling Language
by: Davies, J, et al.
Published: (2003)

Hydrogen Integration in Petroleum Refining
by: R. Smith, et al.
Published: (2012-09-01)

Advances in petroleum chemistry and refining/
by: Kobe, Kenneth A., et al.
Published: (1958)

Refinements of the Littlewood-Richardson rule
by: J. Haglund, et al.
Published: (2009-01-01)

Investigation on the thermal stability of refined palm oil produced from membrane-based refining technique
by: Lau, W. J., et al.
Published: (2013)

Abstraction and refinement in protocol derivation
by: Datta, A, et al.
Published: (2004)