List of speakers and topics of the seminar on Formal Program Development

Available actions

Reader available actions

Digital representation

Digital representation thumbnail
 

List of speakers and topics of the seminar on Formal Program Development

Description details

Description level

Simple document   Simple document

Reference code

PT/UM-ADB/ASS/IFIP/TC2-WG2.1/007/000264

Title type

Atribuído

Production dates

1992-01-10  to  1992-01-18 

Dimension and support

1 fl.

Geographic name

Brasil

Scope and content

List of speakers and topics of the seminar on Formal Program Development.Lista de palestrantes e tópicos do seminário sobre Desenvolvimento de Programas Formais.

Description physical location

I-24-B-1-5-0174

Language of the material

ENG (English)

Physical characteristics and technical requirements

bom

Notes

Proveniência: Willem van der Poel.