Showing
1 - 1
results of
1
for search '
'
Skip to content
VuFind
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Accession No
Control No
Find
Advanced
Reset Filters
Suggested Topics:
Software architecture
AND
Verification
Reset Filters
Show filters (2)
Suggested Topics:
Software architecture
AND
Verification
Search Results
Suggested Topics within your search.
Suggested Topics within your search.
Computer input-output equipment --
1
Computer programs --
1
Computer software --
1
Congresses
1
Software architecture
Verification
Verification --
1
more ...
less ...
Showing
1 - 1
results of
1
for search '
'
, query time: 0.08s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Hardware and software, verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007: proceedings Karen Yorav (ed.).
Published 2008
Call Number:
Loading...
Located:
Loading...
Loading...
Search Tools:
Get RSS Feed
—
Email this Search
Back
Narrow Search
Library
Main Library
1
Collections
Book
1
Item Category
Open Shelf (30 days)
1
Format
Book
1
Call Number
Q - Science
1
Author
International Haifa Verification Conference (3rd : 2007 : Haifa, Israel)
1
Yorav, Karen
1
Year of Publication
From:
To:
×
Loading...