Vista normal Vista MARC Vista ISBD

Verified software: theories, tools and experiments : 6th international conference, vstte 2014, vienna, austria, july 17-18, 2014, revised selected papers / edited by Dimitra Giannakopoulou, Daniel Kroening. - x, 287 páginas : 107 ilustraciones - Lecture Notes in Computer Science, 8471 0302-9743 ; .

Springer eBooks

Analysis: understanding and explanation -- Verification frameworks and applications -- Hypervisors and dynamic data structures -- Certification -- Real time and security.

ISBN: 9783319121543

LC Class. No.: QA76.758