Foundations of Software Science and Computation Structures: 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences ... Notes in Computer Science, Band 2987)

53.49 EUR

Der Band fasst die Beiträge der siebten FOSSACS-Konferenz zusammen und beleuchtet die Schnittstellen zwischen Softwaretheorie und Berechnungsstrukturen; er bietet tiefe Einblicke in Programmiersprachen, Algorithmen sowie formale Verifikationsmethoden.