![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Conference on Operating Systems 1982: Visegrad, Hungary
- Elöd Knuth, Erich J. Neuhold:
Specification and Design of Software Systems, Conference on Operating Systems, Visegrad, Hungary, January 23-27, 1982, Proceedings. Lecture Notes in Computer Science 152, Springer 1983, ISBN 3-540-12284-2 - L. L. Máté, M. Bohus, Gyula Csopaki, A. Filp, A. Hinsenkamp:
System cars and its description language. 1-15 - Elöd Knuth:
Software structuring: a pragmatic approach. 16-27 - Erich J. Neuhold:
Development methodologies for event and message based application systems. 28-55 - Kalman Balogh, Zsuzsa Farkas, Edit Sántáné-Tóth, Péter Szeredi:
Software Development in LDM. 56-83 - Jeff Kramer:
Distributed computer systems: two views. 84-98 - Béla Halassy:
SZIAM: A data model design aid. 99-113 - Jochen Ludewig:
Espreso - a system for process control software specification. 114-131 - R. J. Mitchell:
Program design - a practical approach. 132-145 - László Kozma, Z. Laborczi:
On Implementation problems of shared abstract data types. 146-152
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.