عنوان
پدید آورنده
موضوع
رده
QA 76 .76 .D47 .I58 1993
QA
76
.
76
.
D47
.
I58
1993
کتابخانه
محل استقرار
100872
زمستان۴۷
English
)20(
TAPSOFT '93 : theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings
Berlin, New York
Springer-Verlag
1993
xii, 761 p. : ill. ; 24 cm
Lecture notes in computer science; 866
Includes bibliographical references and index
، Computer software-- Development-- Congresses
QA
76
.
76
.
D47
.
I58
1993
AU
M.-C. Gaudel, J.-P. Jouannaud, eds
AU (edualC-eiraM).C-.M ,leduaG
AU .erreiP-naeJ ,duannauoJ
CO Colloquium on Trees in Algebra and Programming )3991: Orsay, France(
CO Colloquium on Formal Approaches of Software Engineering )3991: Orsay, France(
TI Theory and practice of software development
TI
SE
International Joint Conference on Theory and Practice of Software Development )4th, 1993: Orsay, France(
02
