Showing
1 - 2
results of
2
Skip to content
VuFind
Log in
Library Catalogue Plus
Library
Subject guides
Databases
Referencing
Catalogue
Articles Plus
All Fields
Title
Author
Subject
Shelfmark
ISBN/ISSN
Tag
Find
Advanced Search
Page will reload when a filter is removed.
Reset Filters
Applied Filters:
Genre:
Remove Filter
Congresses
Suggested Topics:
Remove Filter
Computer-aided design
Page will reload when a filter is removed.
Reset Filters
Show filters (2)
Genre:
Remove Filter
Congresses
Suggested Topics:
Remove Filter
Computer-aided design
Search Results - North-Holland,
Search Results - North-Holland,
Suggested Topics within your search.
Suggested Topics within your search.
Computer-aided design
Data processing
2
Design and construction
2
Integrated circuits
2
Testing
2
Very large scale integration
2
Showing
1 - 2
results of
2
Refine Results
Results per page
10
30
50
70
90
Sort
Relevance
Date Descending
Date Ascending
Shelfmark
Author
Title
1
Loading…
Formal VLSI specification and synthesis : VLSI design methods, I : Proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design...
Published 1990
“…
North-Holland
,…”
Shelfmark:
Loading…
Located:
Loading…
Book
Loading…
Save to List
Saved in:
2
Loading…
Formal VLSI correctness verification : VLSI Design methods, II : proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design /...
Published 1990
“…
North-Holland
,…”
Shelfmark:
Loading…
Located:
Loading…
Book
Loading…
Save to List
Saved in:
Search Tools:
RSS Feed
Email Search
Save Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Library
Pilkington Library
2 results
2
Format
Book
2 results
2
Author
Claesen, Luc J. M.
2 results
2
IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design Houthalen, Belgium
2 results
2
Interuniversity Micro-Electronics Center
2 results
2
Language
English
2 results
2
Genre
Congresses
Year of Publication
From:
To: