|
![]() |
|||
|
||||
OverviewKompakt 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. Full Product DetailsAuthor: Markus NebelPublisher: Springer Fachmedien Wiesbaden Imprint: Vieweg+Teubner Verlag Edition: 2012 ed. Weight: 0.454kg ISBN: 9783834818898ISBN 10: 3834818895 Pages: 194 Publication Date: 11 May 2012 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: In Print ![]() This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us. Language: German Table of ContentsSyntax von Programmiersprachen.- Semantik von Programmiersprachen.- Die Grenzen des Berechenbaren.ReviewsAuthor InformationProf. Dr. Markus Nebel, TU Kaiserlautern, Fachbereich Informatik Tab Content 6Author Website:Countries AvailableAll regions |