Verification, Induction, Termination Analysis (eBook, PDF)
eBook, PDF

Verification, Induction, Termination Analysis (eBook, PDF)

Festschrift for Christoph Walther on the Occasion of His 60th Birthday

Redaktion: Siegler, Simon; Wasser, Nathan
Versandkostenfrei!
Sofort per Download lieferbar
40,95 €
inkl. MwSt.
Alle Infos zum eBook verschenken
PAYBACK Punkte
20 °P sammeln!