Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Galaxus.de 79.00 EUR
79.00 EUR
25-04-2026 23:55:51
Ein praxisnahes Handbuch, das die abstrakte Interpretation in Prolog Schritt für Schritt umsetzt – mit neuen Designkonzepten, Implementierungsstrategien und Evaluationsansätzen zur Verifikation und Optimierung von Programmen.
