Data Refinement Refined

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)

Data Refinement in a Categorical Setting
著者:: Hoare, C
出版事項: (1987)

Equating Simulation with Refinement
著者:: He, J, 等
出版事項: (2003)

Data Refinement Refined
出版事項: (1985)

The Laws of Programming
著者:: Hoare, C, 等
出版事項: (1987)

Bisimulation and refinement reconciled
著者:: Roscoe, A, 等
出版事項: (2003)

On the Refinement and Simulation of Data Types and Processes
著者:: Bolton, C, 等
出版事項: (1999)

Big Data Refinement
著者:: Eerke A. Boiten
出版事項: (2016-06-01)

Refinement in Object−Z and CSP
著者:: Bolton, C, 等
出版事項: (2002)

Data Refinement with Low−level Pointer Operations
著者:: Mijajlovic, I, 等
出版事項: (2005)

Data refinement for true concurrency
著者:: Brijesh Dongol, 等
出版事項: (2013-05-01)

Refining Vegetable Oils: Chemical and Physical Refining
著者:: Said Gharby
出版事項: (2022-01-01)

Petroleum chemistry and refining /
著者:: Speight, J. G.
出版事項: (1998)

Blaiming the Client: On Data Reﬁnement in the Presence of Pointers
著者:: Filipovic, I, 等
出版事項: (2010)

World refining industry to 2015 : what does the future hold for the refining business /
著者:: 408393 Manning, Thomas J.
出版事項: (1995)

Refinement of the secondary silumins
著者:: S. G. Rjazanov, 等
出版事項: (2003-08-01)

Concurrency and Refinement in the Unified Modeling Language
著者:: Davies, J, 等
出版事項: (2003)

Concurrency and Refinement in the Unified Modeling Language
著者:: Davies, J, 等
出版事項: (2002)

Domain−Specific Semantics and Data Refinement of Object Models
著者:: Davies, J, 等
出版事項: (2006)

Domain−specific Semantics and Data Refinement of Object Models
著者:: Davies, J, 等
出版事項: (2008)

REFINED ASSESSMENT OF SEISMIC MICROZONATION WITH A PRIORI DATA OPTIMISATION
著者:: I. B. Movchan, 等
出版事項: (2019-04-01)

REFINEMENT OF THE CRH HAPLOTYPE IN RHEUMATOID ARTHRITIS
著者:: Steer, S, 等
出版事項: (2004)

Abstraction, refinement and proof for probabilistic systems /
著者:: 427471 Mclver, Annabelle, 等
出版事項: (2005)

Hirshfeld atom refinement and dynamical refinement of hexagonal ice structure from electron diffraction data
著者:: Michał Leszek Chodkiewicz, 等
出版事項: (2024-09-01)

MICROPERIODONTICS- Refining our professionalism
著者:: J Vishnusripriya
出版事項: (2020-06-01)

Catalytic processing in petroleum refining /
著者:: 453718 Shaheen, Esber I.
出版事項: (1983)

The Jensen inequality: refinements and applications
著者:: D. Andrica, 等
出版事項: (1985-08-01)

The Jensen inequality: refinements and applications
著者:: D. Andrica, 等
出版事項: (1985-08-01)

Hypothesizing and Refining Causal Models
著者:: Doyle, Richard J.
出版事項: (2004)

Refined Probabilistic Abstraction
著者:: Wachter, B
出版事項: (2010)

Methanol refining /
著者:: 394583 Akell, Robert Berry

Petroleum refining /
著者:: Wauquier, Jean-Pierre, 等
出版事項: (1995)

Petroleum refining /
著者:: 321272 Neumann, Hans-Joachim, 等
出版事項: (1984)

Petroleum refining /
著者:: Favennec, Jean-Pierre, 等
出版事項: (2001)

Automotive refinement /
著者:: Institution of Mechanical Engineers (Great Britain). Automobile Division
出版事項: (1996)

REF refined
著者:: Sattary, L
出版事項: (2010)