Take a photo of a barcode or cover
Read With Others
Book Information
378 pages • paperback • 1 edition
ISBN/UID: 9783540544777
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 02 Oct 1991
Description
This volume contains the proceedings of the second workshop on Computer Aided Verification, held at DIMACS, Rutgers University, June 18-21, 1990. Itfeatures theoretical results that lead to new or more powerful verification methods. Among these ar...
Community Reviews
Content Warnings
378 pages • paperback
ISBN/UID: 9783540544777
Format: Paperback
Language: English
Publisher: Springer
Edition Pub Date: 02 Oct 1991
Description
This volume contains the proceedings of the second workshop on Computer Aided Verification, held at DIMACS, Rutgers University, June 18-21, 1990. Itfeatures theoretical results that lead to new or more powerful verification methods. Among these ar...
Community Reviews
Content Warnings