1
|
Material Type: Livro
|
|
An introduction to discrete mathematics and formal system specification
D. Ince (Darrel)
Oxford England Clarendon New York Oxford University Press 1988
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68R01 I36i e.1 )(Acessar)
|
2
|
Material Type: Livro
|
|
ISO 9001 and software quality assurance
D. Ince (Darrel)
London McGraw-Hill New York c1994
Localização:
EPBC - Esc. Politécnica-Bib Central
(004.415.5 In2s )(Acessar)
|
3
|
Material Type: Livro
|
|
An introduction to discrete mathematics, formal system specification, and Z
D. Ince (Darrel) D Ince (Darrel)
Oxford Clarendon Press New York Oxford University Press 1992
Localização:
IME - Inst. Matemática e Estatística
(QA752 I36i )(Acessar)
|
4
|
Material Type: Livro
|
|
Software quality assurance a student introduction
D. Ince (Darrel)
London New York McGraw-Hill c1995
Localização:
IME - Inst. Matemática e Estatística
(QA752 I36s )(Acessar)
|
5
|
Material Type: Livro
|
|
Software quality and reliability tools and methods
D Ince (Darrel)
London New York Chapman and Hall 1991
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68N30.55 S681 e.1 )(Acessar)
|
6
|
Material Type: Livro
|
|
Mechanical intelligence
Alan Mathison Turing Darrel C Ince
Amsterdam North-Holland 1992
Localização:
EPBC - Esc. Politécnica-Bib Central
(004.8 M464 )(Acessar)
|
7
|
Material Type: Livro
|
|
Darrel Ince Derek Andrews
Butterworth-Heinemann 1990
Acesso online
|
8
|
Material Type: Livro
|
|
Software prototyping, formal methods, and VDM
Sharam Hekmatpour 1961- D Ince (Darrel)
Wokingham, Eng. Reading, MA Addison-Wesley c1988
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68N30.01 H473s e.1 )(Acessar)
|
9
|
Material Type: Livro
|
|
The symbolic execution of software the SYM-BOL system
David Coward 1957- Darrel Ince
London Chapman & Hall 1995
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68N30.25 C847s e.1 )(Acessar)
|
10
|
Material Type: Livro
|
|
Active Java object-oriented programming for the World Wide Web
Adam Freeman D Ince (Darrel)
Harlow, England Addison-Wesley Reading, Mass. c1996
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68N15.48 F853a e.1 )(Acessar)
|