Semantics with Applications: An Appetizer, Fachbücher von Hanne Riis Nielson, Flemming Nielson
"Semantics with Applications: An Appetizer" ist ein Fachbuch, das sich mit der Rolle der Semantik in der Entwicklung von Soft... Mehr erfahren
Finde die besten Angebote
Bester Preis18 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
"Semantics with Applications: An Appetizer" ist ein Fachbuch, das sich mit der Rolle der Semantik in der Entwicklung von Softwaresystemen und domänenspezifischen Sprachen beschäftigt. Es bietet eine Einführung in die grundlegenden Konzepte der Semantik und deren Anwendungen in der Informatik. Das Buch formuliert und beweist relevante Theoreme und zeigt auf, wie diese Konzepte in verschiedenen Anwendungsbereichen eingesetzt werden können. Es beleuchtet sowohl historisch bedeutende als auch zukunftsweisende Anwendungen, wie die Validierung von Prototypen von Programmiersprachen, die Überprüfung von Programmanalysen und Sicherheitsanalysen sowie die Verifizierung nützlicher Programmeigenschaften, einschliesslich Informationen zur Ausführungszeit. Die klare Struktur und die anschaulichen Beispiele machen es zu einem wertvollen Einstieg in das Thema Semantik.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer