Formale Beschreibungsverfahren der Informatik 1

Data & IT

Formale Beschreibungsverfahren der Informatik

Helmut Eirund • Bernd Mller • Gerlinde Schreiber

Pocket

389:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-15 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

124 sidor
2000

Beschreibungsformalismen aus der theoretischen Informatik werden benutzt, um Systeme prazise 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-Studiengangen an Fachhochschulen typischerweise anzutreffende Defizit in diesem Bereich.

Författare: Helmut Eirund, Bernd Mller, Gerlinde Schreiber
Illustratör: Mit Abb und Tab
Format: Pocket/Paperback
ISBN: 9783519026433
Språk: Tyska
Antal sidor: 124
Utgivningsdatum: 2000-10-01
Förlag: Vieweg+Teubner Verlag