Foundations of Software Science and Computational Structures, Fachbücher von Andrew D. Gordon
Das Buch "Foundations of Software Science and Computational Structures" dokumentiert die Proceedings der internationalen Konf... Mehr erfahren
Produktvarianten
Foundations of Software Science and Computational Structures, Fachbücher von Andrew D. Gordon
Finde die besten Angebote
Bester Preis26 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
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.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer