skip to main content

Sair
Identificação

Idioma:

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.

Enviar para

Título:
Formal methods for components and objects third international symposium, FMCO 2004, Leiden, the Netherlands November 2-5, 2004 : revised lectures
Autor: FMCO 2004 (2004 Leiden, Netherlands)
Marcello M Bonsangue; Susanne Graf; Willem-Paul de Roever; Frank S. de Boer
Assuntos: ENGENHARIA DE PROGRAMAS -- CONGRESSOS; ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS (CONGRESSOS); TÉCNICAS DE PROGRAMAÇÃO (CONGRESSOS); PROGRAMAÇÃO ORIENTADA A OBJETOS (CONGRESSOS); Formal methods (Computer science) -- Congresses; Component software -- Congresses; Object-oriented programming (Computer science) -- Congresses; M ethodes formelles (Informatique) -- Congr es; Approche orient ee objet (Informatique) -- Congr es; Composants logiciels -- Congr es; M ethode formelle; Approche orient ee objet; Composant logiciel; Formale Methode; Formale Spezifikationstechnik; Komponente (Software); Objektorientierung; Softwareentwicklung; Kongress; Leiden (2004)
Notas: Includes bibliographical references and index
Títulos relacionados: Série:Lecture notes in computer science 3657; Lecture notes in computer science Tutorial
Editor: Berlin Springer New York
Data de criação/publicação: c2005
Formato: viii, 323 p ill 24 cm.
Idioma: Inglês

Links

Voltar para lista de resultados

Realização: Logos de Redes Sociais:

Buscando em bases de dados remotas. Favor aguardar.

Buscando por
emscope:(USP_PRODUCAO),scope:(USP_EBOOKS),scope:("PRIMO"),scope:(USP),scope:(USP_EREVISTAS),scope:(USP_FISICO),primo_central_multiple_fe
Mostrar o que foi encontrado até o momento