Mostrando
41 - 43
resultados de
43
para a busca '
"Computer software Verification"
'
Pular para o conteúdo
UPFind
Cesta de livros:
0
registros
(Cheio)
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
हिंदी
Todos os campos
Título
Autor
Assunto
Número de Chamada
ISBN/ISSN
Buscar
Avançada
Resultados da busca - "Computer software Verification"
Mostrando
41 - 43
resultados de
43
para a busca '
"Computer software Verification"
'
, tempo de busca: 0.02s
Refinar Resultados
Ordenar
Relevância
Newest to Oldest
Oldest to Newest
Autor
Título
Select Page
E-mail
Exportar
Imprimir
Adicionar à cesta
Selcionar número de resultado 41
41
Independent verification and validation a life cycle engineering process for quality software
por
Lewis, Robert O. 1938-
Publicado em 1992
Número de Chamada:
loading...
Localizado:
loading...
Livro
loading...
Adicionar à cesta
Retirar da cesta
Selcionar número de resultado 42
42
Program verification
por
Francez, Nissim
Publicado em 1992
Número de Chamada:
loading...
Localizado:
loading...
Livro
loading...
Adicionar à cesta
Retirar da cesta
Selcionar número de resultado 43
43
Rigorous Software Development An Introduction to Program Verification
por
Almeida, José Bacelar
Número de Chamada:
loading...
Localizado:
loading...
Available for University of the Philippines System via SpringerLink. Click here to access
Electronic Resource
Adicionar à cesta
Retirar da cesta
Select Page
E-mail
Exportar
Imprimir
Adicionar à cesta
[1]
Anterior
1
2
3
4
5
Ferramentas de busca:
Enviar busca por e-mail
Voltar
Refinar Resultados
A página será recarregada quando um filtro for selecionado ou excluído.
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:
Até:
CLASSIFICATION
Q - Ciência
14 resultados
14
M - Música
1 resultados
1
T - Tecnologia
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
Livro
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