عنوان

Recent trends in algebraic development techniques : 15th international Workshop, WADT 2001, joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers

پدید آورنده

Maura Cerioli, Gianna Reggio )eds.(

موضوع

Congresses ، Abstract data types )Computer science(,Congresses ، Computer science -- Mathematics,Congresses ، Computer software -- Development

رده

QA

76
.
L28

Vol
.
2267

کتابخانه

محل استقرار

استان: طهران ـ شهر: طهران

Recent trends in algebraic development techniques : 15th international Workshop, WADT 2001, joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers

2001 : Genova, Italy

Berlin

Springer-Verlag

c2001

x, 343 p.: ill., tables

Lecture notes in computer science; 7622

Includes bibliographies

ISBN: 3540431594

Maura Cerioli, Gianna Reggio )eds.(

Congresses ، Abstract data types )Computer science(

Congresses ، Computer science -- Mathematics

Congresses ، Computer software -- Development

L28

Vol

2267

AU Cerioli, Maura

AU Reggio, Gianna, 1957-

CO CoFI WG Meeting 2001 : Genova, Italy

WADT

عنوان Recent trends in algebraic development techniques : 15th international Workshop, WADT 2001, joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers

پدید آورنده Maura Cerioli, Gianna Reggio )eds.(

موضوع Congresses ، Abstract data types )Computer science(,Congresses ، Computer science -- Mathematics,Congresses ، Computer software -- Development

رده QA 76 .L28 Vol.2267