Advertisement

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
Electronics
IT & Software
Telecommunications
Aerospace
Engineering