Formale Beschreibungsverfahren der Informatik
Ein Arbeitsbuch für die Praxis
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 Studie…
Mehr
CHF 35.90
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V112:
Lieferbar in ca. 10-20 Arbeitstagen
Produktdetails
Weitere Autoren: Müller, Bernd / Schreiber, Gerlinde
- ISBN: 978-3-519-02643-3
- EAN: 9783519026433
- Produktnummer: 1112681
- Verlag: Vieweg + Teubner
- Sprache: Deutsch
- Erscheinungsjahr: 2000
- Seitenangabe: 124 S.
- Masse: H22.8 cm x B16.1 cm x D0.7 cm 200 g
- Gewicht: 200
Über den Autor
Professor Dr. Helmut Eirund, Hochschule BremenProfessor Dr. Bernd Müller, Hochschule Harz, WernigerodeDr. Gerlinde Schreiber, Universität Hildesheim
5 weitere Werke von Helmut Eirund:
Formale Beschreibungsverfahren der Informatik
Ein Arbeitsbuch für die Praxis
Ein Arbeitsbuch für die Praxis
Ebook (PDF Format)
CHF 23.81
Bewertungen
Anmelden