Informatik & Praxis

Formale Beschreibungsverfahren der Informatik

Ein Arbeitsbuch für die Praxis

Authors: Eirund, Helmut, Müller, Bernd, Schreiber, Gerlinde

Buy this book

eBook $29.99
price for USA (gross)
  • ISBN 978-3-322-80103-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $39.95
price for USA
  • ISBN 978-3-519-02643-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this Textbook

Beschreibungsformalismen aus der theoretischen Informatik werden benutzt, um Systeme präzise zu beschreiben. Diese Formalismen werden in vielen Gebieten des praktischen Systementwurfs angewandt, z.B. bei der Spezifikation der Kommunikation zwischen Computern, der Beschreibung von Datenbanken oder der Feststellung von konkreten Bedienungsschritten in einem grafischen User Interface.
Das Buch stellt die wichtigsten, grundlegenden Formalismen zusammen und kompensiert damit das in den sog. Bindestrich-Informatik-Studiengängen an Fachhochschulen typischerweise anzutreffende Defizit in diesem Bereich. Hervorgegangen aus Veranstaltungen dieser Studiengänge kann das Buch gut als vorlesungsbegleitendes Lehrwerk eingesetzt werden - gleichzeitig ist es auch für das Selbststudium geeignet.

About the authors

Professor Dr. Helmut Eirund, Hochschule Bremen
Professor Dr. Bernd Müller, Hochschule Harz, Wernigerode
Dr. Gerlinde Schreiber, Universität Hildesheim

Table of contents (7 chapters)

Buy this book

eBook $29.99
price for USA (gross)
  • ISBN 978-3-322-80103-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $39.95
price for USA
  • ISBN 978-3-519-02643-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Formale Beschreibungsverfahren der Informatik
Book Subtitle
Ein Arbeitsbuch für die Praxis
Authors
Series Title
Informatik & Praxis
Copyright
2000
Publisher
Vieweg+Teubner Verlag
Copyright Holder
B.G. Teubner GmbH, Stuttgart/Leipzig/Wiesbaden
eBook ISBN
978-3-322-80103-6
DOI
10.1007/978-3-322-80103-6
Softcover ISBN
978-3-519-02643-3
Series ISSN
1615-8245
Edition Number
1
Number of Pages
124
Topics