Blank Cover Image

(Inter-) Action Refinement: The Easy Way

著者名:
Broy Manfred  
掲載資料名:
Program design calculi
シリーズ名:
NATO ASI series. Series F, Computer and systems sciences
シリーズ巻号:
118
発行年:
1993
開始ページ:
121
終了ページ:
158
総ページ数:
38
出版情報:
Berlin: Springer-Verlag
ISSN:
02581248
ISBN:
9783540569435 [354056943X]
言語:
英語
請求記号:
N11483/118
資料種別:
国際会議録

類似資料:

1 国際会議録 Service-oriented Systems Engineering: Specification and Design of Services and Layered Architectures

Broy, Manfred

Springer
7 国際会議録 Easy way of checking impulsive georadar equipment performances

Manacorda,G., Miniati,M.

SPIE - The International Society for Optical Engineering
2 国際会議録 Unifying Models and Engineering Theories of Composed Software Systems

Broy, Manfred

IOS Press
8 国際会議録 Easy way to evaluate CCDs for astronomical use

Song,Q., Ji,K., Cao,W.

SPIE-The International Society for Optical Engineering
3 国際会議録 Specification and Refinement of a Buffer of Length One

Broy M.

Springer
9 国際会議録 Fibronectin-Mediated Cellular (Inter) actions

Strooper de B., Jaspers M., Leuven van F., Berghe den van H., Cassiman -J. J.

Kluwer Academic Publishers
4 国際会議録 Acute and chronic actions of alcohol on pancreatic exocrine secretion in humans and animals

Singer V. Manfred

Plenum Press
10 国際会議録 Functional Specification of Time Sensitive Communicating Systems

Broy M.

Springer-Verlag
5 国際会議録 The Difficult, but Rewarding Way of Turning R&D Results into Business Success

Gardian, Manfred F.

Kluwer Academic Publishers
11 国際会議録 Extensional Behaviour of Concurrent, Nondeterministic, Communicating Systems

Broy M.

Springer-Verlag
6 国際会議録 An Easy Way to Describe the Mechanical Behaviour of Thermoplastics

Schmachtenberg, Ernst, Menges, Georg

Society of Plastics Engineers, Inc. (SPE)
12 国際会議録 Mathematical Methods in System and Software Engineering

Broy M.

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