Formale Beschreibungsverfahren der Informatik: Ein Arbeitsbuch für die Praxis (Informatik & Praxis) (German Edition): Ein Arbeitsbuch Fur Die Praxis - Brossura

Eirund, Helmut

Brossura

ISBN 10: 3519026430 ISBN 13: 9783519026433

Casa editrice: Vieweg+Teubner Verlag, 2000

Riassunto

Beschreibungsverfahren leicht gemacht

Su questo libro

Informazioni sugli autori

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

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

Dalla quarta di copertina

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.

Dettagli dell?edizione

• Editore: Vieweg+Teubner Verlag
• Data di pubblicazione: 2000
• Lingua: Tedesco
• ISBN 10: 3519026430
• ISBN 13: 9783519026433
• Rilegatura: Copertina flessibile
• Numero di pagine: 128
• Contatto del produttore: non disponibile
• Persona responsabile: non disponibile