Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday
Editat de Simon Siegler et al.
16 noi 2010
Paperback
Preț: 320.06 lei 400.08 lei
3-5 săpt.
-20%
Cărți de Simon Siegler