Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL

Formale Methoden und Kleine Systeme

Über Formale Methoden und Kleine Systeme

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.

Mehr anzeigen
  • Sprache:
  • Deutsch
  • ISBN:
  • 9783528051990
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 198
  • Veröffentlicht:
  • 1. Oktober 1992
  • Ausgabe:
  • 1993
  • Gewicht:
  • 358 g.
  Versandkostenfrei
  Sofort lieferbar

Beschreibung von Formale Methoden und Kleine Systeme

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.

Kund*innenbewertungen von Formale Methoden und Kleine Systeme



Ähnliche Bücher finden
Das Buch Formale Methoden und Kleine Systeme ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.