Dieses Lehrbuch richtet sich an Studenten und ambitionierte
Praktiker, die sich fur die Theorie der Programmierung bzw. die
Semantik von Programmiersprachen interessieren und dabei auch
neuere Konzepte kennenlernen wollen.Der Datenfluss einer
imperativen und nichtdeterministischen Programmiersprache und der
Kontrollfluss einer variablenfreien Sprache werden zunachst
getrennt beschrieben und dann zu einer einheitlichen Semantik fur
parallele Programme zusammengefugt. Besonderes Augenmerk liegt auf
dem Studium der mathematischen Beziehungen zwischen verschiedenen
semantischen Ansatzen. Das Buch ist vollstandig mit leicht
verstandlichen Beweisen und praktische relevanten Beispielen
versehen und enthalt neben grosseren Fallstudien auch
Ubungsaufgaben mit Musterlosungen sowie eine breite
Literaturauswahl.
General
Imprint: |
Vieweg+teubner Verlag
|
Country of origin: |
Germany |
Series: |
Lehrbuch Informatik |
Release date: |
July 2012 |
First published: |
1995 |
Authors: |
Eike Best
|
Dimensions: |
244 x 170 x 20mm (L x W x T) |
Format: |
Paperback
|
Pages: |
384 |
Edition: |
Softcover reprint of the original 1st ed. 1995 |
ISBN-13: |
978-3-322-86824-4 |
Languages: |
German
|
Categories: |
Books >
Professional & Technical >
Technology: general issues >
Engineering: general
|
LSN: |
3-322-86824-9 |
Barcode: |
9783322868244 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!