Blank Cover Image

Unified Theories of Programming

著者名:
Hoare R. A. C.  
掲載資料名:
Mathematical methods in program development
シリーズ名:
NATO ASI series. Series F, Computer and systems sciences
シリーズ巻号:
158
発行年:
1997
開始ページ:
313
終了ページ:
367
総ページ数:
55
出版情報:
Berlin: Springer
ISSN:
02581248
ISBN:
9783540631958 [354063195X]
言語:
英語
請求記号:
N11483/158
資料種別:
国際会議録

類似資料:

1 国際会議録 Unifying Theories for Logic Programming

Hoare,C.A.R., Jifeng,He

IOS Press
7 国際会議録 Algebra and Models

Hoare C. A. R.

Springer-Verlag
2 国際会議録 Notes on an Approach to Category Theory for Computer Scientists

Hoare R. A. C.

Springer-Verlag
8 国際会議録 Algebraic Specifications and Proofs for Communicating Sequential Processes

Hoare C. A. R.

Springer-Verlag
3 国際会議録 Process Algebra: a Unifying Approach

Hoare, Tony

Springer
9 国際会議録 Laws of Programming

Hoare R. A. C., Hayes J. I., Jifeng He, Morgan C. C., Roscoe W. A., Sanders W. J., Sorenson H. I., Spivey M. J., Sufrin …

Springer-Verlag
4 国際会議録 Unifying Theories of Parallel Programming

Woodcock, Jim

IOS Press
10 国際会議録 Refinement Algebra Proves Correctness of Compilation

Hoare R. A. C., Jifeng He

Springer-Verlag
5 国際会議録 Notes on Communicating Sequential Processes

Hoare R. A. C.

Springer-Verlag
11 国際会議録 A unified Bayesian theory of measurements

R. Maher

SPIE - The International Society of Optical Engineering
6 国際会議録 Evoi at Marktoberdorf 1996

Hoare R. A. C.

Springer
12 国際会議録 A Trace Model for Pointers and Objects

Hoare R. C. C., Jifeng H.

IOS Press
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12