Foundations of computer software : modeling, development, and verification of adaptive systems, 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010 : revised selected papers
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
2011
مشخصات ظاهری
نام خاص و کميت اثر
xii, 238 p. : ill. )some col.(
فروست
عنوان فروست
Lecture notes in computer science; 2666
عنوان فروست
LNCS sublibrary. SL 2, Programming and software engineering
يادداشت کلی
متن يادداشت
Title from PDF title page )SpringerLink, viewed Sep. 28, 2011(
متن يادداشت
Includes bibliographical references and index
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Development -- Congresses ، Computer software
عنصر شناسه ای
Verification -- Congresses ، Computer software
عنصر شناسه ای
Congresses ، Software engineering
رده بندی کنگره
شماره رده
QA
76
.
76
.
D47
.
M666
2011
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )