TY  - BOOK
T1  - Formal program development  : IFIP TC2/WG 2.1 state-of-the-art report
T2  - Lecture notes in computer science
A1  - Möller, Bernhard
A2  - Partsch, Helmut
A2  - Schuman, Steve
LA  - English
PP  - Berlín
PB  - Springer
YR  - 1993
ED  - 1a ed.
UL  - http://vufind10-pruebas.sigbunlp.bibliotecas.unlp.edu.ar/Record/dun.55487
OP  - 371
SN  - 3540574999
KW  - REUNIONES
ER  -