Advertisement

© 1992

Formale Programmentwicklung mit dynamischer Logik

  • Authors
Book

Part of the DUV: Datenverarbeitung book series (DUVD)

Table of contents

About this book

Keywords

Logik

Bibliographic information

  • Book Title Formale Programmentwicklung mit dynamischer Logik
  • Authors Maritta Heisel
  • Series Title DUV: Datenverarbeitung
  • 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
  • Softcover ISBN 978-3-8244-2031-5
  • eBook ISBN 978-3-663-14621-6
  • Edition Number 1
  • Number of Pages IX, 288
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Logics and Meanings of Programs
  • Buy this book on publisher's site
Industry Sectors
Automotive
Electronics
IT & Software
Telecommunications
Aerospace
Engineering