Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Hugendubel 81.49 EUR
81.49
03-11-2026 23:33:28
Ein einführendes Werk über formale Logik für Informatiker, das Modellierung von Softwaresystemen mit Beweistechniken verbindet; es erklärt logische Sprachen und deren Einsatz in Architekturdesigns.
