Last edited by Mekasa
Sunday, July 12, 2020 | History

5 edition of Computer Aided Verification: 6th International Conference, Cav "94, Stanford, California, Usa, June 21-23, 1994 found in the catalog.

Computer Aided Verification: 6th International Conference, Cav "94, Stanford, California, Usa, June 21-23, 1994

Proceedings (Lecture Notes in Computer Science)

by David L. Dill

  • 31 Want to read
  • 12 Currently reading

Published by Springer .
Written in English

    Subjects:
  • Computer Architecture - General,
  • Logic Design,
  • Software Quality Control,
  • Computer Bks - General Information,
  • Computer software,
  • Congresses,
  • Electronic digital computers,
  • Evaluation,
  • Verification,
  • Science/Mathematics

  • The Physical Object
    FormatPaperback
    Number of Pages480
    ID Numbers
    Open LibraryOL9625408M
    ISBN 100387581790
    ISBN 109780387581798


Share this book
You might also like
Maoris

Maoris

Dolet Hills Power Plant project, northwestern Louisiana

Dolet Hills Power Plant project, northwestern Louisiana

Hearing loss

Hearing loss

Spray.

Spray.

The Prints of Kathe Kollwitz

The Prints of Kathe Kollwitz

attitudes of British Protestant missionaries towards nationalism in India

attitudes of British Protestant missionaries towards nationalism in India

essay on historical composition, read, February VI, MDCCLII (1759)

essay on historical composition, read, February VI, MDCCLII (1759)

Road to Mecca.

Road to Mecca.

Letter from the Secretary of War ... a statement of the capital employed in the Indian trade ... together with the number, names and salaries of Indian agents ...

Letter from the Secretary of War ... a statement of the capital employed in the Indian trade ... together with the number, names and salaries of Indian agents ...

Neocobefrin

Neocobefrin

Comparison of commercial electromagnetic interference test techniques to NASA electromagnetic interference test techniques

Comparison of commercial electromagnetic interference test techniques to NASA electromagnetic interference test techniques

Frangipani

Frangipani

War in the air

War in the air

Selected political writings of Rosa Luxemburg.

Selected political writings of Rosa Luxemburg.

So far from spring

So far from spring

James K. Baxter, 1926-1972

James K. Baxter, 1926-1972

Computer Aided Verification: 6th International Conference, Cav "94, Stanford, California, Usa, June 21-23, 1994 by David L. Dill Download PDF EPUB FB2