Mohlo by se vám také líbit

Více informací o knize Formale Methoden und Kleine Systeme

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 165 bodů

Anotace knihy

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.

Parametry knihy

• Plný název: Formale Methoden und Kleine Systeme
• Autor: Dirk Siefkes
• Jazyk: Němčina
• Vazba: Brožovaná
• Počet stran: 198
• EAN: 9783528051990
• ISBN: 352805199X
• ID: 06802532
• Nakladatelství: Springer Fachmedien Wiesbaden
• Hmotnost: 358 g
• Rozměry: 229 × 162 × 11 mm
• Datum vydání: 01. October 1992

Oblíbené z jiného soudku

---

---

---