Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Thalia.at 77.99 EUR
77.99 EUR
17-05-2025 09:08:45
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.
