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

Available actions

Reader available actions

 

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

Description details

Description level

Simple document   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.

Description physical location

I-24-B-1-2-0039

Language of the material

ENG (English)

Physical characteristics and technical requirements

mau

Notes

Proveniência: Chris Cheney.