Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Hugendubel 73.99 EUR
73.99 EUR
28-08-2024 19:39:18
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.
