Detailansicht
Formale Grundlagen der Programmierung
Studium, Studienbücher Informatik
ISBN/EAN: 9783834818898
Umbreit-Nr.: 1928866
Sprache:
Deutsch
Umfang: viii, 194 S.
Format in cm: 0.9 x 24 x 16.9
Einband:
kartoniertes Buch
Erschienen am 11.05.2012
Auflage: 1/2012
- Zusatztext
- Kompakt und leicht verständlich führt dieses Lehrbuch in die formalen Grundlagen der Programmierung ein. Von dr Syntax über Semantik und Verifikation bis hin zur Brechenbarkeit werden alle relevanten Themen fundiert dargestellt.
- Kurztext
- 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.Der InhaltSyntax von Programmiersprachen - Semantik von Programmiersprachen - Die Grenzen des BerechenbarenDie ZielgruppeStudierende der Informatik im Bachelor-Studiengang an Fachhochschulen und UniversitätenDer AutorProf. Dr. Markus Nebel lehrt und forscht an der TU Kaiserslautern.Die Reihe"Studienbücher Informatik" wird herausgegeben von Prof. Dr. Walter Hower.
- Autorenportrait
- Prof. Dr. Markus Nebel, TU Kaiserlautern, Fachbereich Informatik
- Schlagzeile
- Der moderne und kompakte Einstieg in die formalen Grundlagen der Programmierung