Additional information

Full Title

Formale Grundlagen der Programmierung

Author(s)

Markus Nebel

Edition
ISBN

9783834822963, 9783834818898

Publisher

Vieweg+Teubner Verlag

Format

PDF and EPUB

Description

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.