Erakusten
1 - 1
emaitzak --
1
bilaketa honetara '
'
Joan edukira
UPFind
0
itemes
(Completo)
Hizkuntza
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
हिंदी
Eremu guztiak
Izenburua
Egilea
Gaia
Sailkapena
ISBN/ISSN
Bilatu
Aurreratua
AUTHOR:
International Haifa Verification Conference Haifa, Isarel
LANGUAGE:
English
SUBJECT:
Computer software
ETA
Software architecture
Show filters (4)
AUTHOR:
International Haifa Verification Conference Haifa, Isarel
LANGUAGE:
English
SUBJECT:
Computer software
ETA
Software architecture
Bilaketaren emaitzak
Erakusten
1 - 1
emaitzak --
1
bilaketa honetara '
'
, Bilaketaren denbora: 0,01s
Findu emaitzak
Antolatu
Garrantzia
Newest to Oldest
Oldest to Newest
Egilea
Izenburua
Orrialdea aukeratu | Con selección:
Posta elektronikoa
Esportatu
Imprimir
Gehitu Liburu Saskira
Aukera ezazu emaitza-zenbakia1
1
Hardware and software: verification and testing 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, revised selected papers
Argitaratua 2011
Sailkapena:
Lanean...
Kokapena:
Lanean...
Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource
Gehitu Liburu Saskira
Eliminar de la Mochila
Orrialdea aukeratu | Con selección:
Posta elektronikoa
Esportatu
Imprimir
Gehitu Liburu Saskira
Bilaketa egiteko lanabesak:
RSS
—
Emaitzak posta elektronikoz bidali
Atzera
Emaitzak murriztu
CAMPUS
Diliman
1
DATABASE
Union Catalog (Buklod)
1
UNIT LIBRARY
College of Science
1
Diliman Main Library: Info. Services & Instruction Section
1
YEAR OF PUBLICATION
De:
a:
SUBJECT
Computer input-output equipment
1
Computer programs
1
Computer software
Electronic books
1
Software architecture
Verification
1
AUTHOR
International Haifa Verification Conference Haifa, Isarel
Namjoshi, Kedar S.
1
SpringerLink (Online service)
1
Zeller, Andreas
1
Ziv, Avi
1
RESOURCE TYPE
Electronic Resource
1
LANGUAGE
English
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman
Lanean...