Showing
1 - 2
results of
2
for search '
'
Skip to content
UPFind
0
emner
(Fuld)
Sprog
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
हिंदी
Alle Felter
Titel
Forfatter
Fag
Klassifikationsnummer
ISBN/ISSN
Find
Udvidet
SUBJECT:
Computer software
OG
Software architecture
UNIT LIBRARY:
Diliman Main Library: Info. Services & Instruction Section
Show filters (3)
SUBJECT:
Computer software
OG
Software architecture
UNIT LIBRARY:
Diliman Main Library: Info. Services & Instruction Section
Søgeresultater
Showing
1 - 2
results of
2
for search '
'
, Forespørselstid: 0.01s
Refine Results
Sortér
Relevans
Newest to Oldest
Oldest to Newest
Forfatter
Titel
Vælg side | med valgte:
Email
Eksportér
Udskriv
Tilføj til Bogkurv
Select result number 1
1
Hardware and software: verification and testing 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, revised selected papers
Udgivet 2011
Klassifikationsnummer:
Loading...
Findes i:
Loading...
Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource
Tilføj til Bogkurv
Fjern fra Bogkurv
Select result number 2
2
Hardware and software: verification and testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010: revised selected papers
Udgivet 2011
Klassifikationsnummer:
Loading...
Findes i:
Loading...
Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource
Tilføj til Bogkurv
Fjern fra Bogkurv
Vælg side | med valgte:
Email
Eksportér
Udskriv
Tilføj til Bogkurv
Søgeredskaber:
”Modtag RSS Feed
—
Email denne søgning
Back
Indsnæver søgning
CAMPUS
Diliman
2
DATABASE
Union Catalog (Buklod)
2
UNIT LIBRARY
College of Science
2
Diliman Main Library: Info. Services & Instruction Section
YEAR OF PUBLICATION
Fra:
Til:
SUBJECT
Computer input-output equipment
2
Computer software
Electronic books
2
Software architecture
Verification
2
Computer programs
1
AUTHOR
SpringerLink (Online service)
2
Barner, Sharon
1
International Haifa Verification Conference Haifa, Isarel
1
International Haifa Verification Conference Haifa, Israel
1
Namjoshi, Kedar S.
1
Zeller, Andreas
1
Ziv, Avi
1
se alt ...
RESOURCE TYPE
Electronic Resource
2
LANGUAGE
English
2
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman
Loading...