Blank Cover Image

Some Generalizations and Applications of Dijkstra's Guarded Commands

Author(s):
Nelson G.  
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):
157
Page(to):
191
Pages:
35
Pub. info.:
Berlin: Springer-Verlag
ISSN:
02581248
ISBN:
9783540555582 [3540555587]
Language:
English
Call no.:
N11483/88
Type:
Conference Proceedings

Similar Items:

1 Conference Proceedings A generalization of Huygen's principle and some applications

Gray, J. E., Addison, S. R.

SPIE - The International Society of Optical Engineering
7 Conference Proceedings 14.2.2 Some Generalizations

Trakhtengerts, Victor Y., Iudin, Dmitry I.

Springer
2 Conference Proceedings On Some Generalization of Schubert's Varieties

Drozd Y A, Kolomiets P S

IOS Press
8 Conference Proceedings Some Thoughts on Rural Sustainability in Canada - and Elsewhere

Gordon Nelson

IOS Press
3 Conference Proceedings GENERALIZATION

Bitterman E. M.

PLENUN PRESS
9 Conference Proceedings Modern Problems of Cryogenic Heat Transfer and its Enhancement (Generalization of Experimental Results, Practical Recommendations and Different Applications)

Dreitser, G.A.

Kluwer Academic Publishers
4 Conference Proceedings An introduction to learning and generalization

Parisi G.

Kluwer Academic Publishers
10 Conference Proceedings Normal compositional models: generalizations and applications

Stein, D.W.J.

SPIE-The International Society for Optical Engineering
5 Conference Proceedings A Generalization of N-Widths

Aksoy G. A.

Kluwer Academic Publishers
11 Conference Proceedings The calculation and Some Applications of Nuclear Shielding

Webb A. G.

D. Reidel
6 Conference Proceedings ND-YAG Monitoring for DGV Application (Keynote Paper)

G. L. Morrison, B. Nelson

American Society of Mechanical Engineers
12 Conference Proceedings Command, control, and autonomous swarms

Monckton, S. P., Broten, G. S.

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