ICCBS Libraries
 WELCOME TO THE ICCBS LIBRARIES CATALOG

Amazon cover image
Image from Amazon.com

Computer Aided Verification 5th International Conference, CAV '93 Elounda, Greece, June 28-July 1, 1993 Proceedings / edited by Costas Courcoubetis.

By: Material type: TextTextDescription: On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of PakistanISBN:
  • 9783540477877
Subject(s): Online resources:
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode
e-Book e-Book ICCBS Digital Library Not for loan