Mostrando
41 - 43
Resultados de
43
Para Buscar '
"Computer software Verification."
'
Saltar al contenido
UPFind
Bolsa de libros:
0
elementos
(Completo)
Lenguaje
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
हिंदी
Todos los Campos
Título
Autor
Materia
Número de Clasificación
ISBN/ISSN
Buscar
Avanzado
Resultados de búsqueda - "Computer software Verification."
Mostrando
41 - 43
Resultados de
43
Para Buscar '
"Computer software Verification."
'
, tiempo de consulta: 0.02s
Limitar resultados
Ordenar
Relevancia
Newest to Oldest
Oldest to Newest
Autor
Título
Select Page
Correo Electrónico
Exportar
Imprimir
Añadir a la Mochila
Seleccione el número de resultado 41
41
Independent verification and validation a life cycle engineering process for quality software
por
Lewis, Robert O. 1938-
Publicado 1992
Número de Clasificación:
loading...
Ubicado:
loading...
Libro
loading...
Añadir a la Mochila
Eliminar de la Mochila
Seleccione el número de resultado 42
42
Program verification
por
Francez, Nissim
Publicado 1992
Número de Clasificación:
loading...
Ubicado:
loading...
Libro
loading...
Añadir a la Mochila
Eliminar de la Mochila
Seleccione el número de resultado 43
43
Rigorous Software Development An Introduction to Program Verification
por
Almeida, José Bacelar
Número de Clasificación:
loading...
Ubicado:
loading...
Available for University of the Philippines System via SpringerLink. Click here to access
Electronic Resource
Añadir a la Mochila
Eliminar de la Mochila
Select Page
Correo Electrónico
Exportar
Imprimir
Añadir a la Mochila
[1]
Anterior
1
2
3
4
5
Herramientas de búsqueda:
Enviar por Correo electrónico esta Búsqueda
Atrás
Limitar resultados
La página se volverá a cargar cuando se seleccione o excluya un filtro.
CAMPUS
Diliman
41 resultados
41
Baguio
2 resultados
2
DATABASE
Union Catalog (Buklod)
43 resultados
43
UNIT LIBRARY
College of Engineering Library II
28 resultados
28
Diliman Main Library: Info. Services & Instruction Section
13 resultados
13
UP Baguio Main Library
2 resultados
2
School of Statistics
1 resultados
1
YEAR OF PUBLICATION
De:
a:
CLASSIFICATION
Q - Ciencia
14 resultados
14
M - Música
1 resultados
1
T - Tecnología
1 resultados
1
SUBJECT
Computer software
43 resultados
43
Verification
42 resultados
42
Electronic books
25 resultados
25
Formal methods (Computer science)
9 resultados
9
Software engineering
9 resultados
9
Software architecture
7 resultados
7
Validation
6 resultados
6
Computer hardware description languages
5 resultados
5
Reliability
4 resultados
4
System analysis
4 resultados
4
Computer programs
3 resultados
3
Computer systems
3 resultados
3
Development
3 resultados
3
Ada (Computer program language)
2 resultados
2
Computer input-output equipment
2 resultados
2
Electronic digital computers
2 resultados
2
Evaluation
2 resultados
2
Integrated circuits
2 resultados
2
Mathematical models
2 resultados
2
Modeling
2 resultados
2
Object-oriented methods (Computer science)
2 resultados
2
SysML (Computer science)
2 resultados
2
Systems engineering
2 resultados
2
Testing
2 resultados
2
Artificial intelligence
1 resultados
1
Automatic control
1 resultados
1
Automatic theorem proving
1 resultados
1
Compilers (Computer programs)
1 resultados
1
Congresses
1 resultados
1
Data flow computing
1 resultados
1
ver todos…
AUTHOR
SpringerLink (Online service)
19 resultados
19
ACM Special Interest Group on Programming Languages
3 resultados
3
Association for Computing Machinery. Special Interest Group on Computer Science Education
3 resultados
3
Association for Computing Machinery. Special Interest Group on Computers and Society
3 resultados
3
Association for Computing Machinery. Special Interest Group on Embedded Systems
3 resultados
3
Drechsler, Rolf
3 resultados
3
FDL (Conference) Paris, France)
3 resultados
3
Holt, Jon
3 resultados
3
SIGAPP
3 resultados
3
SIGAda
3 resultados
3
Wille, Robert
3 resultados
3
ACM Sigsoft
2 resultados
2
Dasso, Aristides 1943-
2 resultados
2
Funes, Ana 1964-
2 resultados
2
Perry, Simon
2 resultados
2
Ada-Europe International Conference on Reliable Software Technologies
1 resultados
1
Agha, Gul
1 resultados
1
Almeida, José Bacelar
1 resultados
1
Baier, Christel
1 resultados
1
Barner, Sharon
1 resultados
1
Beckert, Bernhard
1 resultados
1
Bobaru, Mihaela
1 resultados
1
Bochmann, G. V.
1 resultados
1
Brownsword, Mike
1 resultados
1
Brykczynski, Bill
1 resultados
1
CAV (Conference) (4th : 1992 : Montreal, Canada)
1 resultados
1
CAV (Conference) (5th : 1993 : Elounda, Greece)
1 resultados
1
CAV (Conference) Snowbird, Utah)
1 resultados
1
Calinescu, Radu
1 resultados
1
Courcoubetis, Costas
1 resultados
1
ver todos…
RESOURCE TYPE
Electronic Resource
28 resultados
28
Libro
15 resultados
15
LANGUAGE
English
42 resultados
42
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman