1
Material Type:
Livro
Baltic computer science selected papers
Barzdin§, ëIìA. M. (ëIìAn Martynovich); D Bjørner 1937- (Dines)
Berlin New York Springer-Verlag c1991
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.502 e.1 ) e outros locais(Acessar)
This feature requires javascript
2
Material Type:
Livro
Lectures on formal methods and performance analysis first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures
EEF/Euro Summer School on Trends in Computer Science (1st 2000 Berg en Dal, Netherlands) Ed Brinksma; Holger Hermanns 1967-; Joost-Pieter Katoen
Berlin Springer New York c2001
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.2090 ) e outros locais(Acessar)
This feature requires javascript
3
Material Type:
Livro
UML components a simple process for specifying component-based software
John Cheesman 1962- John Daniels 1956-
Boston Addison-Wesley c2001
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68N30.05 C515uc e.2 ) (Acessar)
This feature requires javascript
4
Material Type:
Livro
UML components a simple process for specifying component-based software
John Cheesman 1962- John Daniels 1956-
Boston Addison-Wesley 2004
Localização:
FFCLRP - Fac. Fil. Ciên. Let. de R. Preto
(681.3.06 C515u ) (Acessar)
This feature requires javascript
5
Material Type:
Livro
Designing software product lines with UML from use cases to pattern-based software architectures
Hassan Gomaa
Boston Addison-Wesley c2005
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68N30.60 G631ds e.1 ) e outros locais(Acessar)
This feature requires javascript
6
Material Type:
Livro
The art of software testing
Glenford J. Myers 1946- Tom Badgett; Todd M Thomas; Corey Sandler 1950-
Hoboken, N.J. John Wiley & Sons c2004
Localização:
EACH - Esc. Artes, Ciências e Humanidades
(005.12 M996a 2.ed. e.2 ) e outros locais(Acessar)
This feature requires javascript