Details
- Autor(en) / Beteiligte
- Titel
- Mathematisch-strukturelle Grundlagen der Informatik : mit 71 Tabellen
- Ist Teil von
- Springer-Lehrbuch
- Auflage
- 2. Aufl
- Ort / Verlag
- Berlin [u.a.] : Springer
- Erscheinungsjahr
- 2001
- Link zu anderen Inhalten
- Sprache
- Deutsch
- Identifikatoren
- ISBN: 3540419233, 9783540419235OCLC-Nummer: 247947226, 247947226Titel-ID: 990008350020106463
- Format
- XXI, 621 S. : graph. Darst.
- Systemstelle
- TVD
- Schlagworte
- Mengenlehre, Algebraische Spezifikation, Aussagenlogik, Prädikatenlogik, Kategorientheorie