Foundations of Software Science and Computational Structures, Fachbücher von Andrew D. Gordon
53,49 €
Das Buch "Foundations of Software Science and Computational Structures" dokumentiert die Proceedings der internationalen Konferenz FOSSACS 2003, die vom 7. bis 9. April 2003 in Warschau, Polen, stattfand. Diese Konferenz ist Teil der Joint European Conferences on Theory and Practice of Software (ETAPS) und hat sich als bedeutende Plattform für die Präsentation von Originalarbeiten im Bereich der Softwarewissenschaft etabliert. In diesem Band sind 27 ausgewählte Beiträge enthalten, die sich mit grundlegenden Forschungsfragen und Methoden zur Analyse, Integration, Synthese, Transformation und Verifikation von Programmen und Softwaresystemen befassen. Die behandelten Themen reichen von algebraischen Modellen über Automata- und Sprachtheorie bis hin zu logischen Systemen und Typentheorie. Die Vielfalt der eingereichten Arbeiten spiegelt die Breite und Tiefe der aktuellen Forschung in der Softwarewissenschaft wider.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
