Tallenna
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.
- Kirjailija
- Hartmut Ehrig, Bernd Mahr, F. Cornelius, Martin Große-Rhode, P. Zeitz
- Painos
- 2. Auflage 2001
- ISBN
- 9783540419235
- Kieli
- saksa
- Paino
- 310 grammaa
- Sarja
- Springer-Lehrbuch
- Julkaisupäivä
- 12.4.2001
- Sivumäärä
- 622
