Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Livro
|
A Knowledge-Based Approach to Program UnderstandingAbd-El-Hafiz Victor R BasiliSpringer US 1995Acesso online. A biblioteca também possui exemplares impressos. |
|
12 |
Material Type: Artigo de Congresso
|
Structural testing for semaphore-based multithread programsFelipe S. Sarmanho Paulo Sérgio Lopes de Souza; Simone do Rocio Senger de Souza; Adenilso da Silva Simão; International Conference in Computer Science (8. 2008 Krakow)Lecture Notes in Computer Science v. 5101, p. 337-346, 2008Heidelberger Springer 2008Acesso online. A biblioteca também possui exemplares impressos. |
|
13 |
Material Type: Livro
|
Analysis and visualization tools for constraint programming constraint debuggingPierre Deransart; Manuel Hermenegildo; J Ma±uszyânski 1941- (Jan)Berlin New York Springer 2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1870 ) e outros locais(Acessar) |
|
14 |
Material Type: Livro
|
The unified modeling language UML '98 : beyond the notation : First International Workshop, Mulhouse, France, June 3-4, 1998 : selected papersUML '98 (1998 Mulhouse, France) J Bézivin (Jean); Pierre-Alain MullerBerlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1618 ) e outros locais(Acessar) |
|
15 |
Material Type: Livro
|
Introduction to discrete mathematics for software engineeringTim Denvir 1939-Basingstoke Macmillan Education 1986Localização: IME - Inst. Matemática e Estatística (QA830 D416i )(Acessar) |
|
16 |
Material Type: Livro
|
Applications of graph transformations with industrial relevance international workshop, AGTIVE'99, Kerkrade, The Netherlands, September 1-3, 1999 : proceedingsAGTIVE'99 (1999 Kerkrade, Netherlands) Manfred Nagl 1944-; Andreas Schürr; Manfred Münch 1971-GOOS, G, ED; HARTMANIS, J, ED; LEEUWEN, J VAN, ED LECTURE NOTES IN COMPUTER SCIENCE BERLIN, SPRINGER-VERLAG, c1985-Berlin New York Springer c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1779 ) e outros locais(Acessar) |
|
17 |
Material Type: Livro
|
Systems programmingJohn J. DonovanNew York McGraw-Hill 1972Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (004.424 D719s e.3 ) e outros locais(Acessar) |
|
18 |
Material Type: Livro
|
Mathematical theory of computationZohar MannaNew York McGraw-Hill 1974Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (005.1 M315m ) e outros locais(Acessar) |
|
19 |
Material Type: Livro
|
Applied formal methods - FM-Trends 98 International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedingsInternational Workshop on Current Trends in Applied Formal Methods (1998 Boppard, Germany) Dieter HutterBerlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1641 e.1 )(Acessar) |
|
20 |
Material Type: Livro
|
Object modeling with the OCL the rationale behind the Object Constraint LanguageTony Clark Ph. D.; Jos B WarmerBerlin Springer New York c2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2263 e.1 ) e outros locais(Acessar) |