Foundations of Software Science and Computation Structures
53.49 EUR52.94 EUR1% Off
Ein umfassendes Lehrbuch, das die theoretischen Prinzipien der Softwareentwicklung mit den Grundlagen von Berechnungsstrukturen verknüpft; es erläutert formale Sprachen, Automaten und Programmverifikation in klaren, praxisnahen Beispielen.