Computer-Aided Verification: 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings: 531 (Lecture Notes in Computer Science)

by Edmund M. Clarke (Author), Robert P. Kurshan (Author)

New
Illustrated
1991
$83.91

This volume contains the proceedings of the second workshopon Computer Aided Verification, held at DIMACS, RutgersUniversity, June 18-21, 1990.

Synopsis

This volume contains the proceedings of the second workshopon Computer Aided Verification, held at DIMACS, RutgersUniversity, June 18-21, 1990.

$83.91

Save:$6.32 (7%)

Quantity

10 in stock

More Information

Format: Illustrated
Pages: 392
Edition: 1991
Publisher: Springer
Published: 02 Oct 1991
ISBN 10: 3540544771
ISBN 13: 9783540544777