(1 resultados)
Ordenar por
ordenar por...
47,84€(IVA inc.)
Verification, induction, termination analysis: festschrift for Christoph Walther on the occasion of his 60th birthday
- Siegler, Simon
- 978-3-642-17171-0
- 2010-11-16