As a consequence of the wide distribution of software and software infrastructure, information security and safety depend on the quality and excellent understan

This book constitutes the refereed proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010, he

Containing over 300 entries in an A-Z format, the Encyclopedia of Parallel Computing provides easy, intuitive access to relevant information for professionals a

Expanded into two volumes, the Second Edition of Springer’s Encyclopedia of Cryptography and Security brings the latest and most comprehensive coverage of the

This book constitutes the thoroughly refereed post-conference proceedings of TYPES 2007, the concluding conference of the Types project, held in Cividale del Fr