Advertisement

Embedded Systems

New Approaches to Their Formal Description and Design An Advanced Course Zürich, Switzerland, March 5–7, 1986

  • Editors
  • A. Kündig
  • R. E. Bührer
  • J. Dähler
Textbook

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

Table of contents

About this book

Keywords

embedded systems formal specification functional programming programming programming language semantics software engineering

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0016343
  • Copyright Information Springer-Verlag Berlin Heidelberg 1987
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-18581-9
  • Online ISBN 978-3-540-48021-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Automotive
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering