Plano de classificação

ASS/IFIP International Federation for Information Processing Federação Internacional para o Processamento de Informação 1959/1998
- TC2 Technical Committee 2 Comité Técnico 2 1959/1998
  - WG2.1 Working Group 2.1, Algoritmi Languages and Calculi Grupo de Trabalho 2.1 1959/1998
    - 009 Scientific Communications Comunicações científicas 1962-08/1998-01

Copy of "Constpucting correct and efficient concurrent programs" by Michel Sintzoff and Axel van Lamsweerde

Ações disponíveis

Ações disponíveis ao leitor

Serviços disponíveis

Exportar registo

Pesquisar no âmbito deste fundo

Adicionar à minha lista

Pedido de reprodução/pesquisa/certidão

Pedido de consulta de documentos

Pedido de reserva de documentos

Pedir informações

Consultar no telemóvel

Partilhar

Copy of "Constpucting correct and efficient concurrent programs" by Michel Sintzoff and Axel van Lamsweerde

Detalhes do registo

Nível de descrição

Documento simples

Código de referência

PT/UM-ADB/ASS/IFIP/TC2-WG2.1/009/000059

Tipo de título

Atribuído

Título

Copy of "Constpucting correct and efficient concurrent programs" by Michel Sintzoff and Axel van Lamsweerde

Datas de produção

1975-02-17 a 1975-02-17

Dimensão e suporte

5 fls.

Localidade

Bruxelas (Bélgica)

Âmbito e conteúdo

Copy of / Cópia de "Constpucting correct and efficient concurrent programs" by Michel Sintzoff and Axel van Lamsweerde. To appear in Proc. Intl. Conf. On Reliable Software, ACM-IEEE. This copy was sent by M. Sintzoff to WG 2.1 members.Para aparecer no Proc. Intl. Conf. Em Software Confiável, ACM-IEEE. Esta cópia foi enviada por M. Sintzoff para os membros do WG 2.1.