cam a22 u 4500 128619589 CHVBK 20200921121554.0 880212s1982 gw | 10 |eng|d 3-540-11490-4 0-387-11490-4 (OCoLC)885150515 (NEBIS)000256920 ETH-BIB ger ETH-BIB ETHICS-ISBD Program specification proceedings of a workshop; Aarhus, (4th-7th) August 1981 ed.: Jørgen Staunstrup Berlin a.o. Springer 1982 IV, 426 p. fig. Lecture notes in computer science 134 134 (NEBIS)000025969 582721016 SPEZIFIKATIONEN (SOFTWARE ENGINEERING) ger (ETHUDK)000013698 ethudk Konferenzschrift Århus 1981/08 gnd-content u SPEZIFIKATIONEN (SOFTWARE ENGINEERING) ger 004*04*04*02 nebis E1 u SPÉCIFICATIONS + CONCEPTS DE PROGRAMMATION (GÉNIE LOGICIEL) fre 004*04*04*02 nebis E1 u SPECIFICATIONS (SOFTWARE ENGINEERING) eng 004*04*04*02 nebis E1 Staunstrup Jørgen Workshop on Program Specification (1981 Århus) (DE-588)5000922-9 BK020800 XK020000 XK020000 medea idsuzh U2 094 E01-20080101 Århus Kongress = Congrès 1981/08 NEBIS UFBI UFBI ULMZS QA1.L4336 no. 134 NEBIS E30 E30 E30BI 2AK 110: 134 NEBIS E01 E01 MG P 713677: 134 NEBIS E02 E02 E02SP CG 236: 134 NEBIS 490 -- Lecture notes in computer science 134 134 (NEBIS)000025969 582721016 NEBIS 700 1- Staunstrup Jørgen NEBIS 711 2- Workshop on Program Specification (1981 Århus) (DE-588)5000922-9 SWISSBIB 128619589