𝔖 Scriptorium
✦   LIBER   ✦
📁

Formale Grundlagen der Programmierung

✍ Scribed by Markus Nebel (auth.)

Publisher
Vieweg+Teubner Verlag
Year
2012
Tongue
German
Leaves
198
Series
Studienbücher Informatik
Edition
1
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis

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.

✦ Table of Contents

Front Matter....Pages 1-1
Einleitung....Pages 1-2
Syntax von Programmiersprachen – Formale Sprachen und Automaten....Pages 3-86
Semantik von Programmiersprachen....Pages 87-116
Die Grenzen des Berechenbaren....Pages 117-180
Anhang....Pages 181-189
Back Matter....Pages 7-7

✦ Subjects

Logics and Meanings of Programs; Software Engineering/Programming and Operating Systems

📜 SIMILAR VOLUMES

Grundlagen der systemnahen Programmierun
📁 Grundlagen der systemnahen Programmierung
✍ Prof. Dr. rer. nat. Mario Dal Cin (auth.) 📂 Library 📅 1988 🏛 Vieweg+Teubner Verlag 🌐 German

<p>Dieses Buch ist aus einer Vorlesung flir Studenten der Informatik hervorgegangen, die in ein regelmäßig angebotenes Praktikum in Systemprogrammierung einfuhren soll. Ziel dieser Vorlesung ist die Vermittlung grundlegender Methoden der systemnahen Programmierung, während im Praktikum vor allem der

Prozedurale Programmierung: Grundlagen d
📁 Prozedurale Programmierung: Grundlagen der Programmkonstruktion
✍ Prof. Dr. Roland Schneider (auth.) 📂 Library 📅 2002 🏛 Vieweg+Teubner Verlag 🌐 German

<p>Prof. Dr. Roland Schneider ist seit vielen Jahren Hochschullehrer für Softwaretechnologie an der Fachhochschule Dortmund und hat mehrere Jahre an den Univeristäten Düsseldorf und Stettin/ Polen gelehrt.</p>

Assembler: Grundlagen der PC-Programmier
📁 Assembler: Grundlagen der PC-Programmierung
✍ Ernst-Wolfgang Dieterich 📂 Library 📅 2005 🏛 Oldenbourg Wissenschaftsverlag 🌐 German

<p>Systematisch führt Dieterich in die Assembler-Programmierung auf dem PC ein und stellt anhand zahlreicher Beispiele - herstellerneutral - die Sprachelemente von Assembler vor. Aus dem Inhalt: Die Entwicklungsumgebung - Aufbau eines Assembler-Programms - Konstanten und Variablen - Arithmetische Be