E-Book, Deutsch, 202 Seiten
Reihe: Studienbücher Informatik
Nebel Formale Grundlagen der Programmierung
2012
ISBN: 978-3-8348-2296-3
Verlag: Vieweg+Teubner Verlag
Format: PDF
Kopierschutz: 1 - PDF Watermark
E-Book, Deutsch, 202 Seiten
Reihe: Studienbücher Informatik
ISBN: 978-3-8348-2296-3
Verlag: Vieweg+Teubner Verlag
Format: PDF
Kopierschutz: 1 - PDF Watermark
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.




