Springer celebrates 175 years of publishing excellence! Join us >>

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.99
price for USA (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 $39.95
price for USA
  • ISBN 978-3-8348-1889-8
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 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)

Buy this book

eBook $29.99
price for USA (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 $39.95
price for USA
  • ISBN 978-3-8348-1889-8
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 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
Edition Number
1
Number of Pages
VIII, 194
Topics