Formal VLSI specification and synthesis : proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design

Resource Information

The work Formal VLSI specification and synthesis : proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design represents a distinct intellectual or artistic creation found in University of Missouri Libraries. This resource is a combination of several types including: Work, Language Material, Books, http://bibfra.me/vocab/marc/conference-publication.

Label

Formal VLSI specification and synthesis : proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design

Title remainder

proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design

Statement of responsibility

sponsored by IMEC, Houthalen, Belgium, 13-16 November, 1989 ; edited by Luc J.M. Claesen

Creator

• IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design, 1989

Contributor

• Interuniversity Micro-Electronics Center
• Claesen, Luc J. M

Subject

• Conference papers and proceedings
• Integrated circuits -- Very large scale integration | Computer-aided design -- Congresses
• Integrated circuits -- Very large scale integration | Design and construction | Data processing -- Congresses
• Integrated circuits -- Very large scale integration | Testing -- Congresses
• Computer-aided design -- Congresses

Genre

• Congresses
• Conference papers and proceedings

Language

eng

Member of

• VLSI design methods, 1

Cataloging source

DLC

Illustrations

illustrations

Index

no index present

Literary form

non fiction

Nature of contents

bibliography

Series statement

VLSI design methods

Series volume

1