Formale Beschreibungsverfahren der Informatik von Eirund, Helmut, Mueller, Bernd, Schreiber, Gerlinde

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. 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.

> findR *
> Buchhandlung findr > Verlag findr > Für Buchhändler
Bücher zum Thema
Algorithmen Aussagenlogik Automaten formale Sprache Formale Sprachen Informatik mathematische Grundlagen
Produktinformationen

Formale Beschreibungsverfahren der Informatik online kaufen

Die Publikation Formale Beschreibungsverfahren der Informatik - Ein Arbeitsbuch für die Praxis von , , ist bei Vieweg & Teubner erschienen. Die Publikation ist mit folgenden Schlagwörtern verschlagwortet: Algorithmen, Aussagenlogik, Automaten, formale Sprache, Formale Sprachen, Informatik, mathematische Grundlagen. Weitere Bücher, Themenseiten, Autoren und Verlage finden Sie hier: https://buch-findr.de/sitemap_index.xml . Auf Buch FindR finden Sie eine umfassendsten Bücher und Publikationlisten im Internet. Sie können die Bücher und Publikationen direkt bestellen. Ferner bieten wir ein umfassendes Verzeichnis aller Verlagsanschriften inkl. Email und Telefonnummer und Adressen. Die Publikation kostet in Deutschland 27.99 EUR und in Österreich 28.78 EUR Für Informationen zum Angebot von Buch FindR nehmen Sie gerne mit uns Kontakt auf!