Title Computer aided verification : 17th international conference, CAV 2005 Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings / Kousha Etessami, Sriram K. Rajamani (eds.)

Published Berlin ; [London] : Springer, [2005] ©2005

Copies

Location	Call no.	Vol.	Availability
W'PONDS	004.24 Cav/Cav 2005		AVAILABLE

Description xv, 564 pages : illustrations ; 24 cm Series Lecture notes in computer science, 0302-9743 ; 3576 Lecture notes in computer science. 0302-9743 ; 3576 Analysis CAV Computer aided verification Notes Conference proceedings Bibliography Includes bibliographic references and index Notes Also available via the World Wide Web Subject Computer programs -- Verification -- Congresses. Computer software -- Verification -- Congresses. Integrated circuits -- Verification -- Congresses. Genre/Form Conference papers and proceedings. Author Etessami, Kousha. Rajamani, Sriram K., 1970- ISBN 978354027231 : pbk 3540272313 (paperback)

  Permalink