Search Results - IFIP WG 10.2
- Showing 1 - 6 results of 6
-
1
Computer hardware description languages and their applications proceedings of the IFIP WG 10.2 Sixth International Symposium on Computer Hardware Description Languages and Their Ap...
Published 1983Call Number: Loading…Click Here to View Status and Holdings.
Located: Loading…
Book -
2
Electronic Design Automation Frameworks Proceedings of the ... held, 23-25 March, 1992
Published 1995“…International IFIP WG 10.2/WG 10.5 Working Conference…”
Call Number: Loading…Click Here to View Status and Holdings.
Located: Loading…
Book -
3
Computer hardware description languages and their applications
Published 1985“…IFIP WG 10.2 International Conference on Computer Hardware Description Languages and their Applications…”
Call Number: Loading…Click Here to View Status and Holdings.
Located: Loading…
Book -
4
Computer hardware description languages and their applications proceedings of the... sponsored by IFIG WG10.2 and in cooperation with IEEE COMPSOC Ottawa. Ontario, Canada, 26-28 Ap...
Published 1993“…IFIP WG 10.2 International Conference on Computer Hardware Description Languages and Their Applications…”
Call Number: Loading…Click Here to View Status and Holdings.
Located: Loading…
Book -
5
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
Published 1990“…IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design…”
Call Number: Loading…Click Here to View Status and Holdings.
Located: Loading…
Book -
6
Formal VLSI correctness verification proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design
Published 1990“…IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design…”
Call Number: Loading…Click Here to View Status and Holdings.
Located: Loading…
Book