Data Refinement Refined

Data Refinement Refined

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Hoare, C, Hayes, I, He, J, Morgan, C, Sanders, J, Sorensen, I, Spivey, J, Sufrin, B
Formáid:	Record
Foilsithe / Cruthaithe:	1985

Míreanna comhchosúla

Data Refinement Refined: Resume
de réir: He, J, et al.
Foilsithe / Cruthaithe: (1986)

Prespecification in Data Refinement
de réir: Hoare, C, et al.
Foilsithe / Cruthaithe: (1987)

Natural Transformations and Data Refinement
de réir: Hoare, C, et al.
Foilsithe / Cruthaithe: (2015)

Laws of programming
de réir: Roscoe, A, et al.
Foilsithe / Cruthaithe: (1987)

Data Refinement in a Categorical Setting
de réir: Hoare, C
Foilsithe / Cruthaithe: (1987)

Data Refinement in a Categorical Setting
de réir: Hoare, C
Foilsithe / Cruthaithe: (1987)

Equating Simulation with Refinement
de réir: He, J, et al.
Foilsithe / Cruthaithe: (2003)

Data Refinement Refined
Foilsithe / Cruthaithe: (1985)

The Laws of Programming
de réir: Hoare, C, et al.
Foilsithe / Cruthaithe: (1987)

Bisimulation and refinement reconciled
de réir: Roscoe, A, et al.
Foilsithe / Cruthaithe: (2003)

On the Refinement and Simulation of Data Types and Processes
de réir: Bolton, C, et al.
Foilsithe / Cruthaithe: (1999)

Big Data Refinement
de réir: Eerke A. Boiten
Foilsithe / Cruthaithe: (2016-06-01)

Refinement in Object−Z and CSP
de réir: Bolton, C, et al.
Foilsithe / Cruthaithe: (2002)

Data Refinement with Low−level Pointer Operations
de réir: Mijajlovic, I, et al.
Foilsithe / Cruthaithe: (2005)

Data refinement for true concurrency
de réir: Brijesh Dongol, et al.
Foilsithe / Cruthaithe: (2013-05-01)

Refining Vegetable Oils: Chemical and Physical Refining
de réir: Said Gharby
Foilsithe / Cruthaithe: (2022-01-01)

Petroleum chemistry and refining /
de réir: Speight, J. G.
Foilsithe / Cruthaithe: (1998)

Blaiming the Client: On Data Reﬁnement in the Presence of Pointers
de réir: Filipovic, I, et al.
Foilsithe / Cruthaithe: (2010)

World refining industry to 2015 : what does the future hold for the refining business /
de réir: 408393 Manning, Thomas J.
Foilsithe / Cruthaithe: (1995)

Refinement of the secondary silumins
de réir: S. G. Rjazanov, et al.
Foilsithe / Cruthaithe: (2003-08-01)

Concurrency and Refinement in the Unified Modeling Language
de réir: Davies, J, et al.
Foilsithe / Cruthaithe: (2003)

Concurrency and Refinement in the Unified Modeling Language
de réir: Davies, J, et al.
Foilsithe / Cruthaithe: (2002)

Domain−Specific Semantics and Data Refinement of Object Models
de réir: Davies, J, et al.
Foilsithe / Cruthaithe: (2006)

Domain−specific Semantics and Data Refinement of Object Models
de réir: Davies, J, et al.
Foilsithe / Cruthaithe: (2008)

REFINED ASSESSMENT OF SEISMIC MICROZONATION WITH A PRIORI DATA OPTIMISATION
de réir: I. B. Movchan, et al.
Foilsithe / Cruthaithe: (2019-04-01)

REFINEMENT OF THE CRH HAPLOTYPE IN RHEUMATOID ARTHRITIS
de réir: Steer, S, et al.
Foilsithe / Cruthaithe: (2004)

Abstraction, refinement and proof for probabilistic systems /
de réir: 427471 Mclver, Annabelle, et al.
Foilsithe / Cruthaithe: (2005)

Hirshfeld atom refinement and dynamical refinement of hexagonal ice structure from electron diffraction data
de réir: Michał Leszek Chodkiewicz, et al.
Foilsithe / Cruthaithe: (2024-09-01)

MICROPERIODONTICS- Refining our professionalism
de réir: J Vishnusripriya
Foilsithe / Cruthaithe: (2020-06-01)

Catalytic processing in petroleum refining /
de réir: 453718 Shaheen, Esber I.
Foilsithe / Cruthaithe: (1983)

The Jensen inequality: refinements and applications
de réir: D. Andrica, et al.
Foilsithe / Cruthaithe: (1985-08-01)

The Jensen inequality: refinements and applications
de réir: D. Andrica, et al.
Foilsithe / Cruthaithe: (1985-08-01)

Hypothesizing and Refining Causal Models
de réir: Doyle, Richard J.
Foilsithe / Cruthaithe: (2004)

Refined Probabilistic Abstraction
de réir: Wachter, B
Foilsithe / Cruthaithe: (2010)

Methanol refining /
de réir: 394583 Akell, Robert Berry

Petroleum refining /
de réir: Wauquier, Jean-Pierre, et al.
Foilsithe / Cruthaithe: (1995)

Petroleum refining /
de réir: 321272 Neumann, Hans-Joachim, et al.
Foilsithe / Cruthaithe: (1984)

Petroleum refining /
de réir: Favennec, Jean-Pierre, et al.
Foilsithe / Cruthaithe: (2001)

Automotive refinement /
de réir: Institution of Mechanical Engineers (Great Britain). Automobile Division
Foilsithe / Cruthaithe: (1996)

REF refined
de réir: Sattary, L
Foilsithe / Cruthaithe: (2010)