Paperback
Add to list Added to list Formale Beschreibungsverfahren der Informatik: Ein Arbeitsbuch fur die Praxis
Helmut Eirund,Bernd Muller,Gerlinde Schreiber
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…
Available to order, ships in approx 4 weeksAvailable to order
