Correctness preserving program refinements : proof theory and applications

資料種別:
図書
責任表示:
R.J.R. Back
言語:
英語
出版情報:
Amsterdam : Mathematisch centrum, 1980
形態:
118 p. ; 24 cm
著者名:
Back, R. J. R <DA11537515>  
シリーズ名:
Mathematical Centre tracts ; 131 <BA0072600X>
書誌ID:
BA37252591
ISBN:
9789061962076 [9061962072]  CiNiiarticlescalil
子書誌情報
Loading
所蔵情報
近くの請求記号の本を見る Loading virtual-shelf information
Loading availability information

類似資料:

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

Groner, Gabriel F.

Wiley-Interscience

Brainerd, Walter S., Goldberg, Charles H., Gross, Jonathan L.

Harper & Row

Kernighan, Brian W., 1942-, Plauger, P. J., 1944-

McGraw-Hill

Wegner, Peter

Griffin

Greibach, Sheila, 1939-

Springer-Verlag

Findley, William, 1947-, Watt, David A

Pitman

Evans, George W. (George William), 1920-, Perry, C. L. (Clay Lamont), 1920-, Keirstead, R. E., Jr.

McGraw-Hill

Barron, David William

Macdonald, American Elsevier Pub. Co

Garey, Michael R., Johnson, David S., 1945-

W. H. Freeman

Abelson, Harold, Sussman, Gerald Jay, Sussman, Julie

MIT Press, McGraw-Hill Companies

Hecht, Matthew S.

North-Holland

Wirth, Niklaus, 1934-

Prentice-Hall