Zobacz książki o podobnej tematyce

Więcej informacji o Formale Methoden und Kleine Systeme

• Dane szczegółowe
• Opis
• Ulubione w innej kategorii

Za ten zakup dostaniesz 192 punkty

Opis

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.

Szczegóły książki

• Pełny tytuł: Formale Methoden und Kleine Systeme
• Autor: Dirk Siefkes
• Język: Niemiecki
• Oprawa: Miękka
• Liczba stron: 198
• EAN: 9783528051990
• ISBN: 352805199X
• ID: 06802532
• Wydawca: Springer Fachmedien Wiesbaden
• Waga: 358 g
• Wymiary: 229 × 162 × 11 mm
• Data wydania: 01. October 1992

Ulubione w innej kategorii

---

---

---