Classification scheme

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

Available actions

Reader available actions

Available services

Export record

Search within this fonds/collections

Add to my list

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

Description details

Description level

Simple document

Reference code

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

Title type

Atribuído

Production dates

1975-02-17 to 1975-02-17

Dimension and support

5 fls.

Geographic name

Bruxelas (Bélgica)

Scope and content

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.