Specification and Design of Software Systems

Conference on Operating Systems Visegrad, Hungary, January 23–27, 1982 Proceedings

  • Editors
  • Elöd Knuth
  • Erich J. Neuhold
Conference proceedings

Part of the Lecture Notes in Computer Science book series (LNCS, volume 152)

Table of contents

  1. Front Matter
  2. L. L. Máté, M. Bohus, Gy. Csopaki, A. Filp, A. Hinsenkamp
    Pages 1-15
  3. K. Balogh, Zs. Farkas, E. Sántáné-Tóth, P. Szeredy
    Pages 56-83
  4. B. Halassy
    Pages 99-113
  5. R. J. Mitchell
    Pages 132-145
  6. L. Kozma, Z. Laborczi
    Pages 146-152

About these proceedings

Keywords

Systems design development language operating system software

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0051556
  • Copyright Information Springer-Verlag 1983
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-12284-5
  • Online ISBN 978-3-540-39605-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace