Computer Aided Verification

8th International Conference, Cav '96, New Brunswick, Nj, USA July 31-August 3, 1996 (Lecture Notes in Computer Science)

Published in October 1996, Springer

Computer Aided Verification

Change Cover

Contributions:	Rajeev Alur (Editor), T. A. Henzinger (Editor)
Language:	English
Format:	Paperback
Dimensions:	9.8 x 6.2 x 0.8 inches
Weight:	1.4 pounds
ISBN 10:	3540614745
ISBN 13:	9783540614746
Subject:	Software Quality Control Computers Computers - General Information Computer Books: Languages Logic Design Programming - Software Development