eXamen.press
cover

Logik für die Informatik

Modellierung, Programmierung, Kalkül, Beweis

Authors: Matthes, Ralph, Ruckert, Martin

Buy this book

eBook  
  • ISBN 978-3-540-76321-5
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices

Buy this book

eBook  
  • ISBN 978-3-540-76321-5
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices

Services for this Book

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Logik für die Informatik
Book Subtitle
Modellierung, Programmierung, Kalkül, Beweis
Authors
Series Title
eXamen.press
Copyright
2008
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-76321-5
Series ISSN
1614-5216
Edition Number
1
Topics