Markus Nebel - Formale Grundlagen der Programmierung
Published: 2012-05-11 | ISBN: 3834818895 | PDF | 200 pages | 3 MB
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.