Take a photo of a barcode or cover
Read With Others
Book Information
493 pages • paperback • 1 edition
ISBN/UID: 9783540551799
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 22 Apr 1992
Description
This volume contains the proceedings of the third International Workshop on Computer Aided Verification, CAV '91, held in Aalborg, Denmark, July 1-4, 1991. The objective of this series of workshops is to bring together researchers and practitioner...
Community Reviews
Content Warnings
493 pages • paperback
ISBN/UID: 9783540551799
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 22 Apr 1992
Description
This volume contains the proceedings of the third International Workshop on Computer Aided Verification, CAV '91, held in Aalborg, Denmark, July 1-4, 1991. The objective of this series of workshops is to bring together researchers and practitioner...
Community Reviews
Content Warnings