Gå direkt till innehållet
Mathematisch-strukturelle Grundlagen der Informatik
Spara

Mathematisch-strukturelle Grundlagen der Informatik

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.
Upplaga
2. Auflage 2001
ISBN
9783540419235
Språk
Tyska
Vikt
310 gram
Utgivningsdatum
2001-04-12
Sidor
622