Logo - springer
Slogan - springer

Springer Vieweg - IT & Informatik - Theoretische Informatik | Formale Grundlagen der Programmierung

Formale Grundlagen der Programmierung

Nebel, Markus

2012, VIII, 194S.

Formate:
eBook
Information

Springer eBooks sind ausschließlich für den persönlichen Gebrauch bestimmt und werden ohne Kopierschutz verkauft (DRM-frei). Statt dessen sind sie mit einem personalisierten Wasserzeichen versehen. Sie können die Springer eBooks auf gängigen Endgeräten, wie beispielsweise Laptops, Tablets oder eReader, lesen.

Springer eBooks können mit Visa, Mastercard, American Express oder Paypal bezahlt werden.

Nach dem Kauf können Sie das eBook direkt downloaden. Ihr eBook ist außerdem in MySpringer gespeichert, so dass Sie Ihre eBooks jederzeit neu herunterladen können.

 
$29.95

(net) Preis für USA

ISBN 978-3-8348-2296-3

versehen mit digitalem Wasserzeichen, kein DRM

Erhältliche Formate: PDF

sofortiger Download nach Kauf


mehr Information zu Springer eBooks

add to marked items

Softcover
Information

Broschierte Ausgabe

Springer-Bücher können mit Visa, Mastercard, American Express, Paypal sowie auf Rechnung bezahlt werden.

Standard-Versand ist für Individualkunden kostenfrei.

 
$39.95

(net) Preis für USA

ISBN 978-3-8348-1889-8

kostenfreier Versand für Individualkunden

Der Titel wird nachgedruckt. Sie können ihn gerne vorbestellen.


add to marked items

  • Der moderne und kompakte Einstieg in die formalen Grundlagen der Programmierung

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.

Der Inhalt

Syntax von Programmiersprachen - Semantik von Programmiersprachen - Die Grenzen des Berechenbaren

Die Zielgruppe

Studierende der Informatik im Bachelor-Studiengang an Fachhochschulen und Universitäten

Der Autor

Prof. Dr. Markus Nebel lehrt und forscht an der TU Kaiserslautern.

Die Reihe

"Studienbücher Informatik" wird herausgegeben von Prof. Dr. Walter Hower.

Content Level » Upper undergraduate

Stichwörter » Big-Step-Semantik - Chomsky-Hierarchie - Churchsche These - Denotationelle Semantik - Keller-Automaten - Kleene - Partiell rekursive Funktionen - Primitive Rekursion - Programmiersprachen - Registermaschine - Semantik - Small-Step-Semantik - Turing-Maschinen

Verwandte Fachbereiche » Praktische Informatik - Theoretische Informatik

Inhaltsverzeichnis 

Syntax von Programmiersprachen - Semantik von Programmiersprachen - Die Grenzen des Berechenbaren

Beliebte Inhalte dieser Publikation 

 

Articles

Dieses Buch auf Springerlink lesen

Service für dieses Buch

Neuerscheinungen

Registrieren Sie sich hier wenn Sie regelmäßig Informationen über neue Bücher erhalten wollen im Fachbereich Logik und Semantik von Programmen.