
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!
Festschrift for Christoph Walther on the Occasion of His 60th Birthday
Rechnungen
Bestellstatus
Retourenschein
Storno