skip to main content
Idioma:
Mostrar Somente
Refinado por: autor: Boer, F remover assunto: Object-Oriented Programming (Computer Science) remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Formal methods for components and objects first international symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures
Formal methods for components and objects first international symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods for components and objects first international symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures

FMCO 2002 (2002 Leiden, Netherlands) Frank S. de Boer

Berlin Springer-Verlag New York c2003

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2852 )(Acessar)

2
Formal methods for components and objects first international symposium, FMCO 2003, Leiden, the Netherlands November 4-7, 2003 : revised lectures
Formal methods for components and objects first international symposium, FMCO 2003, Leiden, the Netherlands November 4-7, 2003 : revised lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods for components and objects first international symposium, FMCO 2003, Leiden, the Netherlands November 4-7, 2003 : revised lectures

FMCO 2003 (2003 Leiden, Netherlands) Marcello M Bonsangue; Susanne Graf; Willem-Paul de Roever; Frank S. de Boer

Berlin Springer-Verlag New York c2004

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.3188 ) e outros locais(Acessar)

3
Formal methods for components and objects third international symposium, FMCO 2004, Leiden, the Netherlands November 2-5, 2004 : revised lectures
Formal methods for components and objects third international symposium, FMCO 2004, Leiden, the Netherlands November 2-5, 2004 : revised lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods for components and objects third international symposium, FMCO 2004, Leiden, the Netherlands November 2-5, 2004 : revised lectures

FMCO 2004 (2004 Leiden, Netherlands) Marcello M Bonsangue; Susanne Graf; Willem-Paul de Roever; Frank S. de Boer

Berlin Springer New York c2005

Acesso online. A biblioteca também possui exemplares impressos.

4
Formal methods for components and objects 4th international symposium, FMCO 2005, Amsterdam, The Netherlands November 1-4, 2005 : revised lectures
Formal methods for components and objects 4th international symposium, FMCO 2005, Amsterdam, The Netherlands November 1-4, 2005 : revised lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods for components and objects 4th international symposium, FMCO 2005, Amsterdam, The Netherlands November 1-4, 2005 : revised lectures

FMCO 2005 (2005 Amsterdam, Netherlands) Marcello M Bonsangue; Susanne Graf; Willem-Paul de Roever; Frank S. de Boer

Berlin Springer New York c2006

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.4111 ) e outros locais(Acessar)

5
Formal methods for components and objects 5th international symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10, 2006 : revised lectures
Formal methods for components and objects 5th international symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10, 2006 : revised lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods for components and objects 5th international symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10, 2006 : revised lectures

FMCO 2006 (2006 Amsterdam, Netherlands) Marcello M Bonsangue; Susanne Graf; Willem-Paul de Roever; Frank S. de Boer

Berlin Springer New York c2007

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.4709 ) e outros locais(Acessar)

6
Formal methods for open object-based distributed systems 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 : proceedings
Formal methods for open object-based distributed systems 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods for open object-based distributed systems 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 : proceedings

International Conference on Formal Methods for Open Object-Based Distributed Systems (10th 2008 Oslo, Norway) Gilles Barthe 1967-; Frank S. de Boer; IFIP Working Group 6.1

Berlin Springer New York c2008

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-06 LNCS v.5051 ) e outros locais(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (1)

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.