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.
CHF 23.81
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: Müller, Bernd / Schreiber, Gerlinde
- ISBN: 978-3-322-80103-6
- EAN: 9783322801036
- Produktnummer: 36837853
- Verlag: Vieweg+Teubner Verlag
- Sprache: Deutsch
- Erscheinungsjahr: 2013
- Seitenangabe: 124 S.
- Plattform: PDF
- Auflage: 2000
Ü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:
Bewertungen
Anmelden