Verification, Induction, Termination Analysis (eBook, PDF)
Festschrift for Christoph Walther on the Occasion of His 60th Birthday
Redaktion: Siegler, Simon; Wasser, Nathan
PAYBACK Punkte
20 °P sammeln!
Andere Kunden interessierten sich für
