Blick ins Buch

Formale Grundlagen der Programmierung

Markus Nebel (Autor)

Buch | Softcover

VIII, 194 Seiten

2012 | 1., 2012
Springer Vieweg (Verlag)
978-3-8348-1889-8 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)
Blick ins Buch (midvox)

Artikel merken

Der moderne und kompakte Einstieg in die formalen Grundlagen der Programmierung

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.

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

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

Erscheint lt. Verlag	11.5.2012
Reihe/Serie	Studienbücher Informatik
Verlagsort	Wiesbaden
Sprache	deutsch
Maße	168 x 240 mm
Gewicht	398 g
Einbandart	Paperback
Themenwelt	Mathematik / Informatik ► Informatik ► Betriebssysteme / Server
	Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge
	Mathematik / Informatik ► Informatik ► Software Entwicklung
	Informatik ► Theorie / Studium ► Theoretische Informatik
Schlagworte	Big-Step-Semantik • Chomsky-Hierarchie • Churchsche These • Denotationelle Semantik • Keller-Automaten • Kleene • Partiell rekursive Funktionen • Primitive Rekursion • Programmiersprachen • Programmierung; Handbuch/Lehrbuch • Registermaschine • Semantik • Small-Step-Semantik • Turing-Maschinen
ISBN-10	3-8348-1889-5 / 3834818895
ISBN-13	978-3-8348-1889-8 / 9783834818898
Zustand	Neuware