Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Livro
|
Software Frameworks and Embedded Control SystemsAlessandro PasettiSpringer Berlin / Heidelberg 2002Acesso online. A biblioteca também possui exemplares impressos. |
|
12 |
Material Type: Livro
|
Software Process: Principles, Methodology, and TechnologyJean-Claude Derniame Jean Claude Derniame; Badara Ali Kaba; David Wastell; Juris Hartmanis; Badara A Kaba; Jan van LeeuwenSpringer Berlin Heidelberg 1999Acesso online. A biblioteca também possui exemplares impressos. |
|
13 |
Material Type: Livro
|
The specification of computer programsWladyslaw Turski Thomas S. E Maibaum 1947-Wokingham, England Reading, Mass. Addison-Wesley c1987Localização: EPBC - Esc. Politécnica-Bib Central (004.43 T869s ) e outros locais(Acessar) |
|
14 |
Material Type: Livro
|
Software specification techniquesNarain Gehani 1947-; Andrew D McGettrick 1944-Wokingham Addison-Wesley c1986Localização: IME - Inst. Matemática e Estatística (QA752.C3 G311s )(Acessar) |
|
15 |
Material Type: Livro
|
Software prototyping, formal methods, and VDMSharam Hekmatpour 1961- D Ince (Darrel)Wokingham, Eng. Reading, MA Addison-Wesley c1988Localização: ICMC - Inst. Ciên. Mat. Computação (68N30.01 H473s e.1 )(Acessar) |
|
16 |
Material Type: Livro
|
Software engineering & testing an introductionB. B. Agarwal S. P Tayal; M Gupta (Mahesh) 1975-Sudbury, Mass. Jones and Bartlett c2010Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (004.413 Ag15s )(Acessar) |
|
17 |
Material Type: Livro
|
Computer aided verification 5th international conference, CAV'93, Elounda, Greece, June 28-July 1, 1993 : proceedingsCAV (Conference) (5th 1993 Eloúnda, Greece) Costas CourcoubetisBerlin New York Springer-Verlag c1993Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.697 e.1 ) e outros locais(Acessar) |
|
18 |
Material Type: Livro
|
Theoretical aspects of computer software Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 : proceedingsTACS '97 (1997 Sendai-han, Japan) Martín Abadi; T Ito (Takayasu) 1940-Berlin New York Springer c1997Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1281 ) e outros locais(Acessar) |
|
19 |
Material Type: Livro
|
Computer aided verification 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedingsCAV (Conference) (14th 2002 Copenhagen, Denmark) Ed Brinksma; K. G Larsen 1957- (Kim G.)Berlin Springer New York 2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2404 ) e outros locais(Acessar) |
|
20 |
Material Type: Livro
|
Computer aided verification 12th international conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 ; proceedingsCAV (Conference) (2000 Chicago, Ill) E. Allen Emerson; Aravinda Prasad SistlaBerlin London Springer c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1855 ) e outros locais(Acessar) |