Blank Cover Image

Laws of Programming

Author(s):
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 A. B.
4 more
Publication title:
Programming and mathematical method
Title of ser.:
NATO ASI series. Series F, Computer and systems sciences
Ser. no.:
88
Pub. Year:
1992
Page(from):
95
Page(to):
122
Pages:
28
Pub. info.:
Berlin: Springer-Verlag
ISSN:
02581248
ISBN:
9783540555582 [3540555587]
Language:
English
Call no.:
N11483/88
Type:
Conference Proceedings

Similar Items:

1 Conference Proceedings Unifying Theories for Logic Programming

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

IOS Press
7 Conference Proceedings Integrated optical sensors for optoacoustic imaging of tissue

Dmochowski, P., Hayes-Gill, B. R., Li, C., Morgan, S. P., Clark, M., Crowe, J. A., Somekh, M. G.

SPIE - The International Society of Optical Engineering
2 Conference Proceedings Refinement Algebra Proves Correctness of Compilation

Hoare R. A. C., Jifeng He

Springer-Verlag
8 Conference Proceedings Design and characterization of an optical VLSI processor for real-time centroid detection

Pui,B.H., Hayes-Gill,B., Clark,M., Somekh,M.G., See,C., Pieri,J.-F., Morgan,S.P., Ng,A.

SPIE-The International Society for Optical Engineering
3 Conference Proceedings A Trace Model for Pointers and Objects

Hoare R. C. C., Jifeng H.

IOS Press
9 Conference Proceedings Ionic liquids for the Nuclear Industry: A Radiochemical,Structural,and Electrochemical Investigation

Baston, G.M.N., Bradley, A.E., Gorman, T., Hamblett, I., Hardacre, C., Hatter, J.E., Healy, M.J.F., Hodgson, B., Lewin, …

American Chemical Society
4 Conference Proceedings Laser Doppler blood flowmetry with FPGA processing

Kongsavatsak, C., He, D., Morgan, S. P., Hayes-Gill, B. R., Crowe, J. A., Clark, M.

SPIE - The International Society of Optical Engineering
10 Conference Proceedings Ultrasound modulated tomography using a CMOS modulated light lock-in pixel

Dmochowski, P.R., Li, C., Hayes-Gill, B.R., Clarke, M., Crowe, J.A., Somekh, M.G., Morgan, S.P.

SPIE - The International Society of Optical Engineering
5 Conference Proceedings Unified Theories of Programming

Hoare R. A. C.

Springer
11 Conference Proceedings Electrowetting-based optics (Invited Paper) [5908-25]

Kuiper, S., Hendriks, B. H. W., Hayes, R. A., Feenstra, B. J., Baken, J. M. E.

SPIE - The International Society of Optical Engineering
6 Conference Proceedings DISCRETE EVENT SIMULATION BASED ON COMMUNICATING SEQUENTIAL PROCESSES

Kaubisch H. W., Hoare R. A. C.

D. Reidel
12 Conference Proceedings Overview of the DARPA/AFRL/NASA Smart Wing program

Kudva,J.N., Martin,C.A., Scherer,L.B., Jardine,A.P., McGowan,A.-M.R., Lake,R.C., Sendeckyj,G.P., Sanders,B.P.

SPIE - The International Society for Optical Engineering
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12