- Nemecký jazyk
Formale Methoden und kleine Systeme
Autor: Dirk Siefkes
Dieses Buch von Dirk Siefkes zeigt wieder einmal mehr, daß die Beschäftigung mit den logischen und systematischen Grundlagen der Theoriebildung in der Informatik das Verständnis vertiefen und gleichzeitig Freude machen kann. Siefkes Plädoyer für eine kluge... Viac o knihe
Na objednávku
69.38 €
bežná cena: 77.09 €
O knihe
Dieses Buch von Dirk Siefkes zeigt wieder einmal mehr, daß die Beschäftigung mit den logischen und systematischen Grundlagen der Theoriebildung in der Informatik das Verständnis vertiefen und gleichzeitig Freude machen kann. Siefkes Plädoyer für eine kluge Verwendung "kleiner Systeme" wie auch für eine "Wende zur Phantasie" belegen, daß auch eingefleischte "Praktiker" unter den Informatikern folgenreiche Anregungen von einem weitblickenden Theoretiker erwarten können. Die einzelnen Kapitel des Buches bilden jeweils selbständige Einheiten, die je nach dem persönlichen Interesse des Lesers in beliebige Reihenfolge gelesen werden können. Am Ende entsteht so ein Ganzes, das die Arbeit und das Lernen mit "formalisierten Umgebungen" in vielfacher Hinsicht transparent werden läßt.
- Vydavateľstvo: Vieweg+Teubner Verlag
- Rok vydania: 1992
- Formát: Paperback
- Rozmer: 229 x 162 mm
- Jazyk: Nemecký jazyk
- ISBN: 9783528051990