Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Hugendubel 106.99 EUR
106.99 EUR
16-09-2026 04:55:27
Dieses Werk vereint Beiträge aus den Bereichen logische Modellierung, automatisiertes Theorem‑Proving und formale Verifikation, die Jörg H. Siekmanns Forschungsgeschichte widerspiegeln.
