Computer Aided Verification = 17th I...
CAV (Conference) (2005 :)

 

  • Computer Aided Verification = 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings /
  • Record Type: Language materials, printed : Monograph/item
    Title/Author: Computer Aided Verification/ edited by Kousha Etessami, Sriram K. Rajamani.
    Reminder of title: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings /
    other author: Etessami, Kousha.
    corporate name: CAV (Conference)
    Published: Berlin Heidelberg :Springer-Verlag GmbH., : 2005.,
    Description: xv, 564 p. :ill., digital ; : 24 cm.;
    Series: Lecture Notes in Computer Science,
    Contained By: Springer e-books
    Subject: Computer software - Congresses. - Verification -
    Online resource: http://dx.doi.org/10.1007/b138445
    ISBN: 9783540316862 (electronic bk.)
Multimedia
Reviews
Export
pickup library
 
 
Change password
Login