Library of American University of Madaba

Normal View MARC View ISBD View

Computer aided verification : 22nd international conference, Cav 2010, Edinburgh, UK, July 15-19, 2010, proceedings / 22nd International Conference, Cav 2010, Edinburgh, UK, July 15-19, 2010, proceedings / Tayssir Touili, Byron Cook, Paul Jackson (eds.). - Berlin : Springer, 2010. - xvi, 676 p. : ill. - Lecture notes in computer science ; 6174 .

Includes bibliographical References and Index

ISBN: 9783642142949

Subjects--Topical Terms:
Computer science
Computer software--Verification--Congresses.
Electronic digital computers--Evaluation --Congresses.
Software Validation.

Dewey Class. No.: 004.24 / C738