Formale Grundlagen der Programmierung
1st Edition
Published on 11. May 2012
Book
Paperback/Softback
VIII, 194 pages
978-3-8348-1889-8 (ISBN)
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.
More details
Series
Language
German
Place of publication
Wiesbaden
Germany
Publishing group
Vieweg & Teubner
Target group
Studierende der Informatik im Bachelor-Studiengang an Fachhochschulen und Universitäten
Illustrations
VIII, 194 S.
Dimensions
Height: 24 cm
Width: 16.8 cm
Weight
454 gr
ISBN-13
978-3-8348-1889-8 (9783834818898)
DOI
10.1007/978-3-8348-2296-3
Schweitzer Classification
Other editions
Additional editions
Markus Nebel
Formale Grundlagen der Programmierung
E-Book
04/2012
Vieweg+Teubner Verlag
€9.99
Available for download
Person
Prof. Dr. Markus Nebel, TU Kaiserlautern, Fachbereich Informatik
Content
Syntax von Programmiersprachen.- Semantik von Programmiersprachen.- Die Grenzen des Berechenbaren.