Table of contents

  1. Front Matter
  2. P. Alanche, K. Benzakour, F. Dollé, P. Gillet, P. Rodrigues, R. Valette
    Pages 1-14
  3. Eike Best, Agathe Merceron
    Pages 32-47
  4. J. Carlier, Ph. Chretienne, C. Girault
    Pages 62-82
  5. Heino Carstensen, Rüdiger Valk
    Pages 83-100
  6. C. Fernandez, M. Nielsen, P. S. Thiagarajan
    Pages 122-138
  7. C. Fernández, P. S. Thiagarajan
    Pages 139-153
  8. M. P. Flé, G. Roucairol
    Pages 154-168
  9. Ursula Goltz, Wolfgang Reisig
    Pages 169-196
  10. Peter Huber, Arne M. Jensen, Leif O. Jepsen, Kurt Jensen
    Pages 215-233
  11. G. Juanole, B. Algayres, J. Dufau
    Pages 267-287
  12. V. E. Kotov, L. A. Cherkasova
    Pages 288-306
  13. Kurt Lautenbach, Anastasia Pagnoni
    Pages 331-352

About these proceedings

Keywords

Local Area Network design interfaces language modeling programming semantics software validation

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-15204-0
  • Copyright Information Springer-Verlag 1985
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-15204-0
  • Online ISBN 978-3-540-39320-7
  • 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