Toggle navigation
Welcome
|
Search
|
Authorities
Indexes
|
Highlights
|
Help
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
00004
Information not available
(...)
000053
Information not available
000054
Information not available
000055
Information not available
000056
Information not available
000058
Information not available
000059
Copy of "Constpucting correct and efficient concurrent programs" by Michel Sintzoff and Axel van Lamsweerde
1975-02-17/1975-02-17
000060
Information not available
000062
Part of a Chapter of "Formated Transput" by J. C. van Vliet
1976/1976
000063
Part of a document: "Formated Transput"
1976/1976
000064
Information not available
000065
"On the Algol 68 Transput Conversion Routines" by J. C. van Vliet
1976-09/1976-09
(...)
000223
Bibliography on Algol 68
1970-07-07/1970-07-07
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
Share
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.
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.