Foundations of Software Science and Computational Structures: 10th International Conference, FOSSACS 2007, Held as Part of the Joint European ... Notes in Computer Science, 4423, Band 4423)
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Kurzinformation
bestellen
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Beschreibung
"Foundations of Software Science and Computational Structures: 10th International Conference, FOSSACS 2007" ist ein wissenschaftlicher Sammelband, der die Beiträge der zehnten internationalen FOSSACS-Konferenz zusammenfasst. Diese Konferenz fand im Rahmen des Joint European Conferences on Theory and Practice of Software (ETAPS) statt. Der Band, herausgegeben von Helmut Seidl, umfasst eine Vielzahl von Forschungsarbeiten aus den Bereichen Softwarewissenschaft und Berechnungsstrukturen. Die Themen reichen von theoretischen Grundlagen der Informatik bis hin zu praktischen Anwendungen in der Softwareentwicklung. Dazu gehören formale Methoden, Semantik von Programmiersprachen, Logik in der Informatik sowie Modelle zur Berechnung und Verifikation von Softwaresystemen. Die Beiträge richten sich an Forscher und Praktiker, die sich mit den theoretischen Aspekten der Softwarewissenschaft und deren Anwendung in modernen Computersystemen beschäftigen. Der Band bietet einen Überblick über aktuelle Entwicklungen und Forschungsergebnisse in diesen Bereichen und trägt zum Austausch zwischen Theorie und Praxis bei. Die enthaltenen Arbeiten sind sowohl theoretisch fundiert als auch praxisrelevant und bieten wertvolle Einblicke für Wissenschaftler und Entwickler gleichermaßen.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Entdecke mehr vom Verlag
