1
|
Material Type: Livro
|
|
A scientist's and engineer's guide to workstations and supercomputers coping with Unix, RISC, vectors, and programming
Rubin H. Landau Paul J Fink 1954-
New York Wiley c1993
Localização:
IF - Instituto de Física
(004.0245 L253s ) e outros locais(Acessar)
|
2
|
Material Type: Livro
|
|
Software testing techniques
Boris Beizer 1934-
New York Van Nostrand Reinhold c1990
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68N30.25 B423st.2 e.1 ) e outros locais(Acessar)
|
3
|
Material Type: Livro
|
|
Program verification
Nissim Francez
Wokingham, Eng. Reading, Mass. Addison-Wesley Pub. Co. c1992
Localização:
IF - Instituto de Física
(005.14 F815p )(Acessar)
|
4
|
Material Type: Livro
|
|
Software system testing and quality assurance
Boris Beizer 1934-
New York Van Nostrand Reinhold c1984
Localização:
EPBC - Esc. Politécnica-Bib Central
(004.415.53 B397s ) e outros locais(Acessar)
|
5
|
Material Type: Livro
|
|
Input/output system of minicomputers 1/0 software of PDP computers
Jingxuan Xue
Singapore World Scientific Teaneck, NJ c1989
Localização:
IF - Instituto de Física
(004.7 X8i )(Acessar)
|
6
|
Material Type: Livro
|
|
Software metrics establishing a company-wide program
Robert B. Grady 1943- Deborah L Caswell 1959-
Englewood Cliffs, N.J. Prentice-Hall c1987
Localização:
EPECP - Esc. Politécnica-Bib Eng Civil e Prod
(004.412 G755s ) e outros locais(Acessar)
|
7
|
Material Type: Livro
|
|
Advances in software engineering and knowledge engineering
Vincenzo Ambriola; Genoveffa Tortora; International Conference on Software Engineering and Knowledge Engineering (4th 1992 Capri, Italy)
Singapore World Scientific River Edge, NJ c1993
Localização:
IF - Instituto de Física
(005.1 A495a )(Acessar)
|
8
|
Material Type: Livro
|
|
SafeWare system safety and computers
Nancy Leveson
Reading, Mass. Addison-Wesley c1995
Localização:
EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval
(004.415.52 L577s e.2 ) e outros locais(Acessar)
|
9
|
Material Type: Livro
|
|
Software development tools
W. E Riddle 1942- (William E.); R. E Fairley 1937- (Richard E.)
Berlin New York Springer-Verlag 1980
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68N30.01 S681 1979 e.1 ) e outros locais(Acessar)
|
10
|
Material Type: Livro
|
|
Modern physics simulations
Douglas Brandt John R Hiller; Michael Moloney; Consortium for Upper Level Physics Software
New York John Wiley & Sons c1995
Localização:
IAG - Inst. Ast. Geo. Ciên. Atmosféricas
(53 B826m ) e outros locais(Acessar)
|