Produktinformation
Dieses Lehrbuch richtet sich an Studenten und ambitionierte Praktiker, die sich für die Theorie der Programmierung bzw. die Semantik von Programmiersprachen interessieren und dabei auch neuere Konzepte kennenlernen wollen.Der Datenfluß einer imperativen und nichtdeterministischen Programmiersprache und der Kontrollfluß einer variablenfreien Sprache werden zunächst getrennt beschrieben und dann zu einer einheitlichen Semantik für parallele Programme zusammengefügt. Besonderes Augenmerk liegt auf dem Studium der mathematischen Beziehungen zwischen verschiedenen semantischen Ansätzen. Das Buch ist vollständig mit leicht verständlichen Beweisen und praktische relevanten Beispielen versehen und enthält neben größeren Fallstudien auch Übungsaufgaben mit Musterlösungen sowie eine breite Literaturauswahl.Produktkennzeichnungen
ISBN-103322868249
ISBN-139783322868244
eBay Product ID (ePID)165460275
Produkt Hauptmerkmale
VerlagVieweg+Teubner Verlag, Vieweg & Teubner
Erscheinungsjahr2012
Anzahl der Seiten388 Seiten
SpracheDeutsch
PublikationsnameSemantik
ProduktartLehrbuch
AutorEike Best
ReiheLehrbuch Informatik
Zusätzliche Produkteigenschaften
HörbuchNo
InhaltsbeschreibungPaperback
Item Height2cm
Item Length24cm
Item Width17cm
Item Weight668g