Mostrar
1 - 2
resultats de
2
per cerca '
'
Anar al contingut
UPFind
0
ítems
(Complet)
Idioma
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
हिंदी
Tots els camps
Títol
Autor
Matèria
Signatura
ISBN/ISSN
Trobar
Avançada
SUBJECT:
Computer software
i
Software architecture
UNIT LIBRARY:
Diliman Main Library: Info. Services & Instruction Section
Veure filtres (3)
SUBJECT:
Computer software
i
Software architecture
UNIT LIBRARY:
Diliman Main Library: Info. Services & Instruction Section
Resultats de la cerca
Mostrar
1 - 2
resultats de
2
per cerca '
'
, hora de la petició: 0.04sec
Refinar resultats
Ordenar
Rellevància
Newest to Oldest
Oldest to Newest
Autor
Títol
Seleccionar pàgina | amb seleccionats:
Correu electrònic
Exportar
Imprimir
Afegir a la bossa
Selecciona el número de resultat 1
1
Hardware and software: verification and testing 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, revised selected papers
Publicat 2011
Signatura:
Carregant...
Localitzat:
Carregant...
Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource
Afegir a la bossa
Eliminar de la bossa de llibres
Selecciona el número de resultat 2
2
Hardware and software: verification and testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010: revised selected papers
Publicat 2011
Signatura:
Carregant...
Localitzat:
Carregant...
Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource
Afegir a la bossa
Eliminar de la bossa de llibres
Seleccionar pàgina | amb seleccionats:
Correu electrònic
Exportar
Imprimir
Afegir a la bossa
Eines de cerca:
Obtenir subscripció RSS
—
Enviar per correu electrònic aquesta cerca
Back
Afineu la vostra cerca
CAMPUS
Diliman
2
DATABASE
Union Catalog (Buklod)
2
UNIT LIBRARY
College of Science
2
Diliman Main Library: Info. Services & Instruction Section
YEAR OF PUBLICATION
Des de:
A:
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
veure tots ...
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
Carregant...