Skip to Main Content

AMS eBook CollectionsOne of the world's most respected mathematical collections, available in digital format for your library or institution

Computer-Aided Verification ’90

About this Title

Robert P. Kurshan and Edmund E. Clarke, Editors

Publication: DIMACS Series in Discrete Mathematics and Theoretical Computer Science
Publication Year: 1991; Volume 3
ISBNs: 978-0-8218-6594-1 (print); 978-1-4704-3961-3 (online)
MathSciNet review: MR1112553
MSC: Primary 68-06

Read more about this volume

View other years and volumes:

Table of Contents

Front/Back Matter


View full volume PDF