Search Type
  • All
  • Subject
  • Title
  • Author
  • Publisher
  • Series Title
Search Title

Download

Mathematisch-Strukturelle Grundlagen der Informatik

Mathematisch-Strukturelle Grundlagen der Informatik( )
Author: Ehrig, Hartmut
Mahr, Bernd
Cornelius, Felix
Große-Rhode, Martin
Zeitz, Philip
Series title:Springer-Lehrbuch Ser.
ISBN:978-3-540-63865-0
Publication Date:Dec 1998
Publisher:Springer
Book Format:Paperback
List Price:Contact Supplier contact
Book Description:

In fünf sorgfältig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Prädikatenlogik, die für das Verständnis des formalisierten Problemlösens entscheidend und damit für Informatiker unerläßlich sind.Eine Einführung in die intuitive Mengentheorie vermittelt zunächst notwendige mathematische Grundlagen. Motiviert durch das Konzept von Datenstrukturen und abstrakten Datentypen, werden...
More Description

Book Details
Pages:534
Physical Dimensions (W X L X H):15.5 x 23.5 cm
Book Weight:0.83 Kilograms



Featured Books

Weather
Offill, Jenny
Hardback: $23.95
Witness to Hope
Weigel, George
Paperback: $24.99
Little Women
Alcott, Louisa May
Paperback: $14.99

Rate this title:

Select your rating below then click 'submit'.






I do not wish to rate this title.