عنوان
پدید آورنده
موضوع
رده
QA76.758 .I58 2011
QA76
.
758
.
I58
2011
کتابخانه
محل استقرار
3642177956
3642177964
9783642177958
9783642177965
b434043
Algebraic methodology and software technology :
[Book]
13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010 : revised selected papers /
Michael Johnson, Dusko Pavlovic (editions.)
1 online resource (x, 235 pages) :
illustrations
Lecture notes in computer science,
6486
0302-9743 ;
Includes bibliographical references and index
This book constitutes the refereed proceedings of the 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010, held in Lac-Beauport, QC, Canada, in June 2010. The 14 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers are organized in 1 invited paper, 10 contributed research papers, and 4 system demonstrations
Springer
978-3-642-17795-8
Algebraic methodology and software technology.
9783642177958
AMAST 2010
Abstract data types (Computer science), Congresses
Software engineering, Congresses
QA
005
.
1
22
QA76
.
758
.
I58
2011
Johnson, Michael,1959-
Pavlović, Dusko
International Conference on Algebraic Methodology and Software Technology(13th :2010 :, Beauport, Québec)
20170726082112.0
pn
مطالعه متن کتاب [Book]
Y
