عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.1101
QA
76
.
L28
Vol
.
1101
کتابخانه
محل استقرار
Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings
5th: 1996: Munich, Germany
Berlin
Springer-Verlag
c1996
xii, ]591[ p. : ill
Lecture notes in computer science; 1011
Includes bibliographies
ISBN 354061463X
Martin Wirsing, Maurice Nivat )eds.(
1
Congresses ، Software engineering
Congresses ، Abstract data types )Computer science(
QA
76
.
L28
Vol
.
1101
CA
005
.
1/01/512
AU
AU Wirsing, Martin, 1948-
AU Nivat, Maurice
TI
SE
International Conference on Algebraic Methodology and Software Technology
