Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings

Corporate Author: SpringerLink (Online service)
Other Authors: Touili, Tayssir (Editor), Cook, Byron (Editor), Jackson, Paul (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2010, 2010
Edition:1st ed. 2010
Series:Theoretical Computer Science and General Issues
Subjects:
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Physical Description:XVI, 676 p. 169 illus online resource
ISBN:9783642142956