Advertisement

Formale Programmentwicklung mit dynamischer Logik

  • Authors
  • Maritta Heisel

Part of the DUV: Datenverarbeitung book series (DUVD)

Table of contents

About this book

Keywords

Logik

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-663-14621-6
  • Copyright Information Springer Fachmedien Wiesbaden 1992
  • Publisher Name Deutscher Universitätsverlag, Wiesbaden
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-8244-2031-5
  • Online ISBN 978-3-663-14621-6
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Aerospace