Markus Nebel

Formale Grundlagen der Programmierung

• Broschiertes Buch

Produktbeschreibung

Kompakt und leicht verständlich führt dieses Lehrbuch in die formalen Grundlagen der Programmierung ein. Von der Syntax über Semantik und Verifikation bis hin zur Brechenbarkeit werden alle relevanten Themen fundiert dargestellt.

Produktdetails

• Studium
• Verlag: Springer, Berlin / Vieweg+Teubner / Vieweg+Teubner Verlag
• Artikelnr. des Verlages: 978-3-8348-1889-8
• Seitenzahl: 194
• Erscheinungstermin: 16. Mai 2012
• Deutsch
• Abmessung: 240mm
• Gewicht: 384g
• ISBN-13: 9783834818898
• ISBN-10: 3834818895
• Artikelnr.: 33930724

Autorenporträt

Prof. Dr. Markus Nebel, TU Kaiserlautern, Fachbereich Informatik

Inhaltsangabe

Syntax von Programmiersprachen.- Semantik von Programmiersprachen.- Die Grenzen des Berechenbaren.