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

Identification

Description level

Reference code

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

Title

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

Holding entity

Arquivo Distrital de Braga

Initial date

1975-02-17

Final date

1975-02-17

Dimension and support / Extents

5 fls.

Content and structure

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.

Access and use

Language of the material

eng

Comments

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

My list

Warning!