TY  - BOOK
AU  - Ehrig,Hartmut
ED  - TAPSOFT
ED  - Colloquium on Software Engineering
TI  - Formal methods and software development : : proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25 - 29, 1985 ; volume 2: Colloquium on Software Engineering (CSE) / 
T2  - Lecture notes in computer science ; 
SN  - 3540151990
PY  - 1985///
CY  - Berlin [a. o.] : 
PB  - Springer-Verlag
KW  - Softwareentwicklung
KW  - gnd
KW  - საინფორმაციო ტექნოლოგიები
KW  - კომპიუტერული ტექნოლოგიები
KW  - Konferenzschrift
KW  - 1985
KW  - Berlin, West
KW  - gnd-content
N1  - Includes bibliographies
UR  - https://external.dandelon.com/download/attachments/dandelon/ids/DE0040811B9830B5DFD08C12579D40045A90F.pdf
ER  -