عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.2030
QA
76
.
L28
Vol
.
2030
کتابخانه
محل استقرار
Foundations of software science and computation structures : 4th International Conference, FoSSaCS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings
2001 : Genova, Italy
Berlin
Springer-Verlag
c2001
vi, 412p.: ill., tables
Lecture notes in computer science; 0302
Includes bibliographies
ISBN 3540418644
Furio Honsell, Marino Miculan )Eds.(
1
Congresses ، Computer software
Congresses ، System analysis
QA
76
.
L28
Vol
.
2030
AU
AU Honsell, Furio
AU Miculan, Marion
CO ETAPS 2001 : Genova, Italy
TI
SE
FoSSaCS
