21
|
Material Type: Livro
|
|
Program behavior models and measurements
Jeffrey R. Spirn
New York Elsevier c1977
Localização:
IME - Inst. Matemática e Estatística
(QA752 S759p )(Acessar)
|
22
|
Material Type: Livro
|
|
Interactive computer graphics data structures, algorithms, languages
Wolfgang Giloi
Englewood Cliffs, N.J. Prentice-Hall c1978
Localização:
EPBC - Esc. Politécnica-Bib Central
(519.674 G426i ) e outros locais(Acessar)
|
23
|
Material Type: Livro
|
|
Structured walkthroughs
Edward Yourdon
Englewood Cliffs, N.J. Prentice-Hall c1979
Localização:
IME - Inst. Matemática e Estatística
(QA752 Y81s )(Acessar)
|
24
|
Material Type: Livro
|
|
The art of software testing
Glenford J. Myers 1946-
New York Wiley c1979
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68N30.25 M996a e.2 ) e outros locais(Acessar)
|
25
|
Material Type: Livro
|
|
Program construction
International Summer School on Program Construction, Marktoberdorf, 1978 Friedrich Ludwig Bauer; M Broy
Berlin Springer 1979
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.69 ) e outros locais(Acessar)
|
26
|
Material Type: Livro
|
|
Analysis and synthesis of computer systems
E. Gelenbe 1945- I Mitrani
London New York Academic Press 1980
Localização:
IME - Inst. Matemática e Estatística
(QA752 G316a )(Acessar)
|
27
|
Material Type: Livro
|
|
Software development a rigorous approach
C. B. Jones (Cliff B.), 1944-
Englewood Cliffs, N.J. Prentice/Hall International 1980
Localização:
IME - Inst. Matemática e Estatística
(QA754 J76s )(Acessar)
|
28
|
Material Type: Livro
|
|
Language design and programming methodology proceedings
Symposium on Language Design and Programming Methodology, Sydney, 1979 Jeffrey M Tobias
Berlin Springer 1980
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.79 e.1 ) e outros locais(Acessar)
|
29
|
Material Type: Livro
|
|
Abstract software specifications proceedings
Winter School on Abstract Software Specifications(1979 : Copenhagen) Dines Bjorner
Berlin Springer 1980
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.86 ex.1 ) e outros locais(Acessar)
|
30
|
Material Type: Livro
|
|
Introduction to real-time software design
S. T. Allworth
London New York Macmillan 1981
Localização:
EPBC - Esc. Politécnica-Bib Central
(004.031.43 AL58i )(Acessar)
|