Formale 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.
Leider schon ausverkauft
Buch (Kartoniert)
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
Produktdetails
Produktinformationen zu „Formale Grundlagen der Programmierung “
Klappentext zu „Formale 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.
Inhaltsverzeichnis zu „Formale Grundlagen der Programmierung “
Syntax von Programmiersprachen.- Semantik von Programmiersprachen.- Die Grenzen des Berechenbaren.
Autoren-Porträt von Markus Nebel
Prof. Dr. Markus Nebel, TU Kaiserlautern, Fachbereich Informatik
Bibliographische Angaben
- Autor: Markus Nebel
- 2012, VIII, 194 Seiten, Maße: 17,2 x 24,8 cm, Kartoniert (TB), Deutsch
- Verlag: Springer, Berlin
- ISBN-10: 3834818895
- ISBN-13: 9783834818898
- Erscheinungsdatum: 16.05.2012
Kommentar zu "Formale Grundlagen der Programmierung"
Schreiben Sie einen Kommentar zu "Formale Grundlagen der Programmierung".
Kommentar verfassen