Showing
1 - 3
results of
3
Skip to content
VuFind
Book Bag:
0
items
(Full)
Login
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Sámegiella
Монгол
Māori
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Search Results - "formal verification"
Search Results - "formal verification"
Suggested Topics within your search.
Suggested Topics within your search.
Computer-aided design
2
Integrated circuits
2
Verification
2
Computer software
1
Congresses
1
Data processing
1
Design and construction
1
Electrical engineering
1
Electronic circuits
1
Engineering design
1
Testing
1
Very large scale integration
1
Showing
1 - 3
results of
3
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Applied
formal verification
by
Perry, Douglas L
Published 2005
Call Number:
Loading…
Located:
Loading…
Click Here to View Status and Holdings.
Unknown
Add to Book Bag
Remove from Book Bag
Save to List
Saved in:
2
Computer Aided Design and Design Automation
Published 2009
Call Number:
Loading…
Located:
Loading…
Click Here to View Status and Holdings.
Book
Add to Book Bag
Remove from Book Bag
Save to List
Saved in:
3
CORRECT HARDWARE DESIGN METHODOLOGIES proceedings of the Advanced Research Workshop on Correct Hardware Design Methodologies, Turin, Italy, June 12-14, 1991
Published 1992
Call Number:
Loading…
Located:
Loading…
Click Here to View Status and Holdings.
Book
Add to Book Bag
Remove from Book Bag
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.
Format
Book
2 results
2
Unknown
1 results
1
Call Number
T - Technology
3 results
3
Author
Camurati, Paolo
1 results
1
Chen, Wai-Kai 1936-
1 results
1
ESPRIT Basic Research Action 3216 "CHARME"
1 results
1
Foster, Harry 1956-
1 results
1
Perry, Douglas L
1 results
1
Politecnico di Torino
1 results
1
Prinetto, Paolo
1 results
1
see all…
Language
English
2 results
2
Genre
Congresses
1 results
1
Year of Publication
From:
To: