Save 40% on books and eBooks in Engineering & Materials Science or in Social & Behavioral Sciences!

Informatik & Praxis

Formale Beschreibungsverfahren der Informatik

Ein Arbeitsbuch für die Praxis

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

Free Preview

Buy this book

eBook $29.95
price for USA in USD (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 $32.99
price for USA in USD
  • 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)

Table of contents (7 chapters)
  • Einleitung

    Pages 9-11

    Eirund, Prof. Dr. rer. nat. Helmut (et al.)

  • Grundlagen aus Mathematik und Logik

    Pages 13-34

    Eirund, Prof. Dr. rer. nat. Helmut (et al.)

  • Formale Sprachen

    Pages 35-53

    Eirund, Prof. Dr. rer. nat. Helmut (et al.)

  • Automaten und Verfahren

    Pages 55-81

    Eirund, Prof. Dr. rer. nat. Helmut (et al.)

  • Beschreibung nebenläufiger Prozesse

    Pages 83-93

    Eirund, Prof. Dr. rer. nat. Helmut (et al.)

Buy this book

eBook $29.95
price for USA in USD (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 $32.99
price for USA in USD
  • 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