Shop the Archives and get your next eBook for just 14.99! Stock up today >>

Studienbücher Informatik

Formale Grundlagen der Programmierung

Authors: Nebel, Markus

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

Buy this book

eBook $29.95
price for USA in USD (gross)
  • ISBN 978-3-8348-2296-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $32.99
price for USA in USD
  • ISBN 978-3-8348-1889-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this Textbook

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.

About the authors

Prof. Dr. Markus Nebel, TU Kaiserlautern, Fachbereich Informatik

Table of contents (5 chapters)

  • Einleitung

    Nebel, Prof. Dr. Markus E.

    Pages 1-2

  • Syntax von Programmiersprachen – Formale Sprachen und Automaten

    Nebel, Prof. Dr. Markus E.

    Pages 3-86

  • Semantik von Programmiersprachen

    Nebel, Prof. Dr. Markus E.

    Pages 87-116

  • Die Grenzen des Berechenbaren

    Nebel, Prof. Dr. Markus E.

    Pages 117-180

  • Anhang

    Nebel, Prof. Dr. Markus E.

    Pages 181-189

Buy this book

eBook $29.95
price for USA in USD (gross)
  • ISBN 978-3-8348-2296-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $32.99
price for USA in USD
  • ISBN 978-3-8348-1889-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Formale Grundlagen der Programmierung
Authors
Series Title
Studienbücher Informatik
Copyright
2012
Publisher
Vieweg+Teubner Verlag
Copyright Holder
Vieweg+Teubner Verlag | Springer Fachmedien Wiesbaden
eBook ISBN
978-3-8348-2296-3
DOI
10.1007/978-3-8348-2296-3
Softcover ISBN
978-3-8348-1889-8
Series ISSN
2522-0640
Edition Number
1
Number of Pages
VIII, 194
Topics