Del i serien Informatik & Praxis
Formale Beschreibungsverfahren der Informatik
Ein Arbeitsbuch für die Praxis
Häftad, Tyska, 2000
389 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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.
Produktinformation
- Utgivningsdatum2000-10-11
- Mått162 x 229 x 8 mm
- Vikt211 g
- FormatHäftad
- SpråkTyska
- SerieInformatik & Praxis
- Antal sidor124
- Upplaga2000
- FörlagSpringer Fachmedien Wiesbaden
- ISBN9783519026433
Tillhör följande kategorier
Hoppa över listan
Mer från samma serie
Praxis der C-Programmierung für UNIX, DOS und MS-Windows 3.1/95/NT
Springer Fachmedien Wiesbaden
Häftad, 1997
679 kr
Hoppa över listan
Du kanske också är intresserad av
Schaffung von Kohlenstoffsenken durch Landschaftsnutzungsänderungen in Brandenburg
Bernd Müller
Häftad, 2008
1 069 kr
Geotechnische Klassifikationen von Festgesteinen und Festgebirgen
Bernd Müller, Uwe Pippig, Ulrich Sebastian
Häftad, 2019
939 kr