Verification, induction, termination analysis: festschrift for Christoph Walther on the occasion of his 60th birthday
Siegler, Simon
Wasser, Nathan
47,84 €(IVA inc.)
The articles collected herein cover some of the main topics of Christoph Walther's research interests, such as formal modeling, theorem proving, induction,and termination analysis. Together they give a good overall perspective on the formal verification of the correctness of software systems. Fast track proceedings. Unique visibility. State of the art research.
- ISBN: 978-3-642-17171-0
- Editorial: Springer Berlin Heidelberg
- Encuadernacion: Rústica
- Páginas: 145
- Fecha Publicación: 16/11/2010
- Nº Volúmenes: 1
- Idioma: Inglés