Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	Oktober 2000
Genre:	EDV / Informatik
	A / Business applications / Business mathematics & systems / Business—Data processing / computer science / Computer Science, general / Computers / Information Technology / IT in Business / Mathematical theory of computation / Operating systems / Software Engineering / Software Engineering/Programming and Operating Systems / Theory of Computation
ISBN:	9783519026433
EAN-Code:	9783519026433
Verlag:	Vieweg + Teubner
Einband:	Kartoniert
Sprache:	Deutsch
Serie:	Informatik & Praxis
Dimensionen:	H 229 mm / B 162 mm / D 7 mm
Gewicht:	217 gr
Seiten:	124
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

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.