Foundations of Software Science and Computation Structures

Ein tiefgreifendes Buch, das die theoretischen Prinzipien der Softwareentwicklung mit den Strukturen von Berechnungssystemen verbindet; es führt durch formale Sprachen, Automaten und semantische Modelle und verknüpft diese Konzepte mit aktuellen Programmierparadigmen.

Teilen: