Mohlo by sa vám tiež páčiť

Viac informácií o knihe Formale Methoden und Kleine Systeme

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 175 bodov

Anotácia 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.

Parametre knihy

• Celý názov: Formale Methoden und Kleine Systeme
• Autor: Dirk Siefkes
• Jazyk: Nemčina
• Väzba: Brožovaná
• Počet strán: 198
• EAN: 9783528051990
• ISBN: 352805199X
• ID: 06802532
• Nakladateľ: Springer Fachmedien Wiesbaden
• Hmotnosť: 358 g
• Rozmery: 229 × 162 × 11 mm
• Dátum vydania: 01. October 1992

Obľúbené z iného súdka

---

---

---