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ț: 309.51 lei 386.88 lei
3-5 săpt.
-20%
Cărți de Simon Siegler